{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:25Z","timestamp":1772163985851,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,1,26]],"date-time":"2011-01-26T00:00:00Z","timestamp":1296000000000},"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":[[2011,1,26]]},"DOI":"10.1145\/1926385.1926395","type":"proceedings-article","created":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T09:58:22Z","timestamp":1295863102000},"page":"67-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Formal verification of object layout for c++ multiple inheritance"],"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":[[2011,1,26]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9148-3"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190222"},{"key":"e_1_3_2_2_3_1","unstructured":"CodeSourcery Compaq EDG HP IBM Intel Red Hat and SGI. Itanium C++ ABI 2001. URL http:\/\/www.codesourcery.com\/public\/cxx-abi.  CodeSourcery Compaq EDG HP IBM Intel Red Hat and SGI. Itanium C++ ABI 2001. URL http:\/\/www.codesourcery.com\/public\/cxx-abi."},{"key":"e_1_3_2_2_4_1","volume-title":"ISO\/IEC SC22\/JTC1\/WG21","author":"Dawes B.","year":"2007","unstructured":"B. Dawes . PODs Revisited; Resolving Core Issue 568 (Revision 2). Technical report , ISO\/IEC SC22\/JTC1\/WG21 , March 2007 . URL http:\/\/www.open-std.org\/JTC1\/SC22\/WG21\/docs\/papers\/2007\/n2172.html. B. Dawes. PODs Revisited; Resolving Core Issue 568 (Revision 2). Technical report, ISO\/IEC SC22\/JTC1\/WG21, March 2007. URL http:\/\/www.open-std.org\/JTC1\/SC22\/WG21\/docs\/papers\/2007\/n2172.html."},{"key":"e_1_3_2_2_5_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_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320408"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1387673.1387677"},{"key":"e_1_3_2_2_8_1","volume-title":"Programming Languages C++","author":"IEC","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_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146811"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2005.51"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.051"},{"key":"e_1_3_2_2_13_1","article-title":"The empty member C++ optimization","author":"Myers N.","year":"1997","unstructured":"N. Myers . The empty member C++ optimization . Dr Dobbs Journal , Aug. 1997 . URL http:\/\/www.cantrip.org\/emptyopt.html. N. Myers. The empty member C++ optimization. Dr Dobbs Journal, Aug. 1997. URL http:\/\/www.cantrip.org\/emptyopt.html.","journal-title":"Dr Dobbs Journal"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258919"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926395"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217860"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.519"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9120-2"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167503"}],"event":{"name":"POPL '11: The 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"Austin Texas USA","acronym":"POPL '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1926385.1926395","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1926385.1926395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:59:51Z","timestamp":1750229991000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1926385.1926395"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,26]]},"references-count":19,"alternative-id":["10.1145\/1926385.1926395","10.1145\/1926385"],"URL":"https:\/\/doi.org\/10.1145\/1926385.1926395","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1925844.1926395","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,1,26]]},"assertion":[{"value":"2011-01-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}