{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T14:53:44Z","timestamp":1780412024578,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T00:00:00Z","timestamp":1383004800000},"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":[[2013,10,29]]},"DOI":"10.1145\/2509136.2509550","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:29:17Z","timestamp":1382527757000},"page":"287-304","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Ironclad C++"],"prefix":"10.1145","author":[{"given":"Christian","family":"DeLozier","sequence":"first","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard","family":"Eisenberg","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Santosh","family":"Nagarakatte","sequence":"additional","affiliation":[{"name":"Rutgers University, New Brunswick, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter-Michael","family":"Osera","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Milo M.K.","family":"Martin","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Steve","family":"Zdancewic","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Modern C++ Design: Generic Programming and Design Patterns Applied","author":"Alexandrescu A.","year":"2001","unstructured":"A. Alexandrescu . Modern C++ Design: Generic Programming and Design Patterns Applied . Addison-Wesley , Boston, MA , 2001 . A. Alexandrescu. Modern C++ Design: Generic Programming and Design Patterns Applied. Addison-Wesley, Boston, MA, 2001."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_3_1","volume-title":"DEC","author":"Bartlett J.","year":"1989","unstructured":"J. Bartlett . Mostly-Copying Garbage Collection Picks Up Generations and C++. Technical report , DEC , 1989 . J. Bartlett. Mostly-Copying Garbage Collection Picks Up Generations and C++. Technical report, DEC, 1989."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134000"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155109"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542431.1542437"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_8_1","volume-title":"Jan.","author":"Colvin D.","year":"2012","unstructured":"D. Colvin , G. and Adler , D . Smart Pointers - Boost 1.48.0. Boost C++ Libraries , Jan. 2012 . www.boost.org\/docs\/libs\/1_48_0\/libs\/smart_ptr\/smart_ptr.htm. D. Colvin, G. and Adler, D. Smart Pointers - Boost 1.48.0. Boost C++ Libraries, Jan. 2012. www.boost.org\/docs\/libs\/1_48_0\/libs\/smart_ptr\/smart_ptr.htm."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780743"},{"key":"e_1_3_2_1_11_1","first-page":"51","volume-title":"Proceedings of The 18th ACM SIGPLAN\/SIGACT Symposium on Principles of Programming Languages (POPL)","author":"Edelson D.","year":"1991","unstructured":"D. Edelson and I. Pohl . A Copying Collector for C++ . In Proceedings of The 18th ACM SIGPLAN\/SIGACT Symposium on Principles of Programming Languages (POPL) , pages 51 -- 58 , Jan. 1991 . D. Edelson and I. Pohl. A Copying Collector for C++. In Proceedings of The 18th ACM SIGPLAN\/SIGACT Symposium on Principles of Programming Languages (POPL), pages 51--58, Jan. 1991."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1296907.1296911"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of the Winter Usenix Conference","author":"Hastings R.","year":"1992","unstructured":"R. Hastings and B. Joyce . Purify: Fast Detection of Memory Leaks and Access Errors . In Proc. of the Winter Usenix Conference , 1992 . R. Hastings and B. Joyce. Purify: Fast Detection of Memory Leaks and Access Errors. In Proc. of the Winter Usenix Conference, 1992."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/362422.362428"},{"key":"e_1_3_2_1_16_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_1_17_1","volume-title":"Proceedings of the 2002 USENIX Annual Technical Conference","author":"Jim T.","year":"2002","unstructured":"T. Jim , G. Morrisett , D. Grossman , M. Hicks , J. Cheney , and Y. Wang . Cyclone: A Safe Dialect of C . In Proceedings of the 2002 USENIX Annual Technical Conference , June 2002 . T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A Safe Dialect of C. In Proceedings of the 2002 USENIX Annual Technical Conference, June 2002."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 17th SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Application (OOPSLA)","author":"Rossie J. Jonathan G.","year":"2002","unstructured":"J. Jonathan G. Rossie and D. P. Friedman . An Algebraic Semantics of Subobjects . In Proceedings of the 17th SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Application (OOPSLA) , Nov. 2002 . J. Jonathan G. Rossie and D. P. Friedman. An Algebraic Semantics of Subobjects. In Proceedings of the 17th SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Application (OOPSLA), Nov. 2002."},{"key":"e_1_3_2_1_19_1","volume-title":"Garbage Collection: Algorithms for Au- tomatic Dynamic Memory Management","author":"Jones R.","year":"1996","unstructured":"R. Jones and R. Lins . Garbage Collection: Algorithms for Au- tomatic Dynamic Memory Management . John Wiley & Sons , 1996 . R. Jones and R. Lins. Garbage Collection: Algorithms for Au- tomatic Dynamic Memory Management. John Wiley & Sons, 1996."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231846"},{"key":"e_1_3_2_1_22_1","volume-title":"PLDI Workshop on the Evaluation of Software Defect Detection Tools","author":"Lu S.","year":"2005","unstructured":"S. Lu , Z. Li , F. Qin , L. Tan , P. Zhou , and Y. Zhou . Bug-bench: Benchmarks for Evaluating Bug Detection tools . In PLDI Workshop on the Evaluation of Software Defect Detection Tools , June 2005 . S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou. Bug-bench: Benchmarks for Evaluating Bug Detection tools. In PLDI Workshop on the Evaluation of Software Defect Detection Tools, June 2005."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806651.1806657"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_26_1","unstructured":"NIST Juliet Test Suite for C\/C++. NIST 2010. http:\/\/samate.nist.gov\/SRD\/testCases\/suites\/Juliet-2010-12.c.cpp.zip.  NIST Juliet Test Suite for C\/C++. NIST 2010. http:\/\/samate.nist.gov\/SRD\/testCases\/suites\/Juliet-2010-12.c.cpp.zip."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542505"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2004.36"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542431.1542438"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2010.15"},{"key":"e_1_3_2_1_32_1","first-page":"44","volume-title":"A Rationale for Semantically Enhanced Library Languages","author":"Stroustrup B.","year":"2005","unstructured":"B. Stroustrup . A Rationale for Semantically Enhanced Library Languages . In Library-Centric Software Design , page 44 , 2005 . B. Stroustrup. A Rationale for Semantically Enhanced Library Languages. In Library-Centric Software Design, page 44, 2005."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2011.353"},{"key":"e_1_3_2_1_34_1","volume-title":"April","author":"Unger E.","year":"2012","unstructured":"E. Unger . Severe memory problems on 32-bit Linux , April 2012 . https:\/\/groups.google.com\/d\/topic\/golang-nuts\/qxlxu5RZAI0\/discussion. E. Unger. Severe memory problems on 32-bit Linux, April 2012. https:\/\/groups.google.com\/d\/topic\/golang-nuts\/qxlxu5RZAI0\/discussion."},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the Network and Distributed Systems Security Symposium","author":"Wilander J.","year":"2003","unstructured":"J. Wilander and M. Kamkar . A Comparison of Publicly Available Tools for Dynamic Buffer Overflow Prevention . In Proceedings of the Network and Distributed Systems Security Symposium , 2003 . J. Wilander and M. Kamkar. A Comparison of Publicly Available Tools for Dynamic Buffer Overflow Prevention. In Proceedings of the Network and Distributed Systems Security Symposium, 2003."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"}],"event":{"name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Indianapolis Indiana USA","acronym":"SPLASH '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2509136.2509550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:28:34Z","timestamp":1750217314000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509550"}},"subtitle":["a library-augmented type-safe subset of c++"],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":35,"alternative-id":["10.1145\/2509136.2509550","10.1145\/2509136"],"URL":"https:\/\/doi.org\/10.1145\/2509136.2509550","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544173.2509550","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,10,29]]},"assertion":[{"value":"2013-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}