static analysis tools / software development techniques / destruction protocol / large-scale software development / construction protocol / construction/destruction protocol / /
OperatingSystem
Dos / /
Organization
Data / ISO C++ committee / Texas A&M University / DN V / National Science Foundation / /
Person
Xavier Leroy / Gabriel Dos Reis / /
Position
definitional interpreter / author / first author / General / Coq proof assistant / programmer / /
ProgrammingLanguage
C / Java / C++ / /
Technology
Object-oriented Programming / construction protocol / destruction protocol / dom / The construction protocol / same algorithm / Java / construction/destruction protocol / /
A Mechanized Semantics for C++ Object Construction and Destruction, with Applications to Resource Management Tahina Ramananandro Gabriel Dos Reis ∗