"A mechanized semantics for C++ object construction and destruction, with ..."

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics