A mechanized semantics for C++ object construction and destruction, with applications to resource management.

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy

Browse the full POPL paper archive.