4 ms·
Yes, this is an extremely active area of research with lots of connections in the broader programming languages and formal methods communities. For the last de
by the_benno 6y ago
Yes, this is an extremely active area of research with lots of connections in the broader programming languages and formal methods communities. For the last decade or so, POPL has had a co-located workshop on proof, the programs of which would be a great place to see the current state of the art. Here's last year's: https://popl20.sigplan.org/home/CPP-2020#event-overview https://popl20.sigplan.org/home/CPP-2020#event-overview