-
Mechanized Formal Semantics and Verified Compilation for C++ Objects
C++ is one of the most widely used programming languages in practice, including for embedded critical software. Thus, it becomes interesting to apply formal methods to... -
CPP 2012: Second International Conference on Certified Programs and Proofs
International audience -
Pretty-Big-Step Semantics
International audience
