{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T23:16:43Z","timestamp":1776122203673,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T00:00:00Z","timestamp":1327449600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,1,25]]},"DOI":"10.1145\/2103656.2103718","type":"proceedings-article","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T11:47:19Z","timestamp":1327405639000},"page":"521-532","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A mechanized semantics for C++ object construction and destruction, with applications to resource management"],"prefix":"10.1145","author":[{"given":"Tahina","family":"Ramananandro","sequence":"first","affiliation":[{"name":"INRIA Paris-Rocquencourt, Le Chesnay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriel","family":"Dos Reis","sequence":"additional","affiliation":[{"name":"Texas A&M University, College Station, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Leroy","sequence":"additional","affiliation":[{"name":"INRIA Paris-Rocquencourt, Le Chesnay, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"The Coq proof assistant 1999--2012. URL http:\/\/coq.inria.fr.  The Coq proof assistant 1999--2012. URL http:\/\/coq.inria.fr."},{"key":"e_1_3_2_2_2_1","volume-title":"The Annotated C++ Reference Manual","author":"Ellis M. A.","year":"1990","unstructured":"M. A. Ellis and B. Stroustrup . The Annotated C++ Reference Manual . Addison-Wesley , 1990 . M. A. Ellis and B. Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297052"},{"key":"e_1_3_2_2_4_1","volume-title":"The Java Language Specification","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . The Java Language Specification . Addison Wesley , 3 rd edition edition, 2005 . J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison Wesley, 3rd edition edition, 2005.","edition":"3"},{"key":"e_1_3_2_2_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/978-3-642-15497-3_7","volume-title":"Computer Security -- ESORICS","author":"Hubert L.","year":"2010","unstructured":"L. Hubert , T. Jensen , V. Monfort , and D. Pichardie . Enforcing secure object initialization in Java . In Computer Security -- ESORICS 2010 , volume 6345 of Lecture Notes in Computer Science , pages 101 -- 115 . Springer , 2010. L. Hubert, T. Jensen, V. Monfort, and D. Pichardie. Enforcing secure object initialization in Java. In Computer Security -- ESORICS 2010, volume 6345 of Lecture Notes in Computer Science, pages 101--115. Springer, 2010."},{"key":"e_1_3_2_2_6_1","volume-title":"Programming Languages -- C++","author":"International Standard","year":"2003","unstructured":"International Standard ISO\/IEC 14882:2003. Programming Languages -- C++ . International Organization for Standards , 2003 . International Standard ISO\/IEC 14882:2003. Programming Languages -- C++. International Organization for Standards, 2003."},{"key":"e_1_3_2_2_7_1","volume-title":"Programming Languages -- C++","author":"International Standard","year":"2011","unstructured":"International Standard ISO\/IEC 14882:2011. Programming Languages -- C++ . International Organization for Standards , 2011 . International Standard ISO\/IEC 14882:2011. Programming Languages -- C++. International Organization for Standards, 2011."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9155-4"},{"key":"e_1_3_2_2_9_1","volume-title":"Joint Strike Fighter Air Vehicle C+ Coding Standards for the System Development and Demonstration Program","author":"Martin Lockheed","year":"2005","unstructured":"Lockheed Martin . Joint Strike Fighter Air Vehicle C+ Coding Standards for the System Development and Demonstration Program , 2005 . URL http:\/\/www.research.att.com\/ bs\/JSF-AV-rules.pdf. Lockheed Martin. Joint Strike Fighter Air Vehicle C+ Coding Standards for the System Development and Demonstration Program, 2005. URL http:\/\/www.research.att.com\/ bs\/JSF-AV-rules.pdf."},{"key":"e_1_3_2_2_10_1","volume-title":"NICTA","author":"Norrish M.","year":"2008","unstructured":"M. Norrish . A formal semantics for C+. Technical report , NICTA , 2008 . M. Norrish. A formal semantics for C+. Technical report, NICTA, 2008."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480890"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926395"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217860"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/947886.947893"},{"key":"e_1_3_2_2_16_1","volume-title":"phThe design and evolution of C+","author":"Stroustrup B.","year":"1994","unstructured":"B. Stroustrup . phThe design and evolution of C+ . ACM Press\/Addison-Wesley Publishing Co. , New York, NY, USA , 1994 . B. Stroustrup. phThe design and evolution of C+. ACM Press\/Addison-Wesley Publishing Co., New York, NY, USA, 1994."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167503"}],"event":{"name":"POPL '12: The 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Philadelphia PA USA","acronym":"POPL '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103656.2103718","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2103656.2103718","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:06:22Z","timestamp":1750226782000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2103656.2103718"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,25]]},"references-count":16,"alternative-id":["10.1145\/2103656.2103718","10.1145\/2103656"],"URL":"https:\/\/doi.org\/10.1145\/2103656.2103718","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2103621.2103718","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,1,25]]},"assertion":[{"value":"2012-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}