A mechanized semantics for C++ object construction and destruction, with applications to resource management - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy. A mechanized semantics for C++ object construction and destruction, with applications to resource management. In John Field, Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. pages 521-532, ACM, 2012. [doi]

This author has not been identified. Look up 'Tahina Ramananandro' in GoogleThis author has not been identified. Look up 'Gabriel Dos Reis' in GoogleIdentified as Xavier Leroy

runs on WebDSL