{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:16Z","timestamp":1772163976982,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,16]],"date-time":"2006-10-16T00:00:00Z","timestamp":1160956800000},"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":[[2006,10,16]]},"DOI":"10.1145\/1167473.1167503","type":"proceedings-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T20:15:56Z","timestamp":1168978556000},"page":"345-362","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["An operational semantics and type safety prooffor multiple inheritance in C++"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Wasserrab","sequence":"first","affiliation":[{"name":"Universit\u00e4t Passau"}]},{"given":"Tobias","family":"Nipkow","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen"}]},{"given":"Gregor","family":"Snelting","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Passau"}]},{"given":"Frank","family":"Tip","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center"}]}],"member":"320","published-online":{"date-parts":[[2006,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lect","first-page":"38","volume-title":"Tools and Algorithms for Construction and Analysis of Systems, TACAS","author":"Aspinall David","year":"2000","unstructured":"David Aspinall . Proof General - a generic tool for proof development . In S. Graf and M. I. Schwartzbach, editors, Tools and Algorithms for Construction and Analysis of Systems, TACAS 2000 , volume 1785 of Lect . Notes in Comp. Sci., pages 38 -- 42 . Springer-Verlag , 2000.]] David Aspinall. Proof General - a generic tool for proof development. In S. Graf and M. I. Schwartzbach, editors, Tools and Algorithms for Construction and Analysis of Systems, TACAS 2000, volume 1785 of Lect. Notes in Comp. Sci., pages 38--42. Springer-Verlag, 2000.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/236114.236118"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","volume-title":"Types for Proofs and Programs (TYPES","author":"Berghofer Stefan","year":"2000","unstructured":"Stefan Berghofer and Tobias Nipkow . Executing Higher Order Logic . In P. Callaghan, Z. Luo, J. McKinna, and R. Pollack, editors, Types for Proofs and Programs (TYPES 2000 ), volume 2277 of LNCS . Springer-Verlag , 2002.]] Stefan Berghofer and Tobias Nipkow. Executing Higher Order Logic. In P. Callaghan, Z. Luo, J. McKinna, and R. Pollack, editors, Types for Proofs and Programs (TYPES 2000), volume 2277 of LNCS. Springer-Verlag, 2002.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97982"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91590"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90007-7"},{"key":"e_1_3_2_1_7_1","volume-title":"The Computer Science and Engineering Handbook. 2 edition","author":"Cardelli Luca","year":"2004","unstructured":"Luca Cardelli . Type systems . In The Computer Science and Engineering Handbook. 2 edition , 2004 .]] Luca Cardelli. Type systems. In The Computer Science and Engineering Handbook. 2 edition, 2004.]]"},{"key":"e_1_3_2_1_8_1","series-title":"Lect","first-page":"389","volume-title":"Proc. of ECOOP'97","author":"Drossopoulou Sophia","year":"1997","unstructured":"Sophia Drossopoulou and Susan Eisenbach . Java is type safe - probably . In Proc. of ECOOP'97 , volume 1241 of Lect . Notes in Comp. Sci ., pages 389 -- 418 , 1997 .]] Sophia Drossopoulou and Susan Eisenbach. Java is type safe - probably. In Proc. of ECOOP'97, volume 1241 of Lect. Notes in Comp. Sci., pages 389--418, 1997.]]"},{"key":"e_1_3_2_1_9_1","first-page":"127","volume-title":"Emerging Trends Proc.","author":"Hohmuth Michale","year":"2003","unstructured":"Michale Hohmuth and Hendrik Tews . The semantics of C++ data types: Towards verifying low-level system components. In D. Basin and B. Wolff, editors, Theorem Proving in Higher Order Logics , Emerging Trends Proc. , pages 127 -- 144 . Universit\u00e4t Freiburg , 2003 . Tech. Rep. 187.]] Michale Hohmuth and Hendrik Tews. The semantics of C++ data types: Towards verifying low-level system components. In D. Basin and B. Wolff, editors, Theorem Proving in Higher Order Logics, Emerging Trends Proc., pages 127--144. Universit\u00e4t Freiburg, 2003. Tech. Rep. 187.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of FTfJP'05","author":"Jolly Paul","year":"2005","unstructured":"Paul Jolly , Sophia Drossopoulou , Christopher Anderson , and KlausOstermann. Simple dependent types: Concord . In Proc. of FTfJP'05 , 2005 .]] Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and KlausOstermann. Simple dependent types: Concord. In Proc. of FTfJP'05, 2005.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146809.1146811"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28718"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74919"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Tobias\n      Nipkow Lawrence\n      Paulson and \n      Markus\n      Wenzel\n    . Isabelle\/\n      HOL - A\n      Proof\n      Assistant\n       for \n      Higher-Order Logic volume \n  2283\n   of \n  Lect\n  . Notes in Comp. \n  Sci\n  . \n  2002\n  . http:\/\/www.in.tum.de\/~nipkow\/LNCS2283\/.]]  Tobias Nipkow Lawrence Paulson and Markus Wenzel. Isabelle\/HOL - A Proof Assistant for Higher-Order Logic volume 2283 of Lect. Notes in Comp. Sci. 2002. http:\/\/www.in.tum.de\/~nipkow\/LNCS2283\/.]]","DOI":"10.1007\/3-540-45949-9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028986"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. of ECOOP'03","author":"Odersky Martin","unstructured":"Martin Odersky , Vincent Cremet , Christine R\u00f6ckl , and Matthias Zenger . A nominal theory of objects with dependent types . In Proc. of ECOOP'03 .]] Martin Odersky, Vincent Cremet, Christine R\u00f6ckl, and Matthias Zenger. A nominal theory of objects with dependent types. In Proc. of ECOOP'03.]]"},{"key":"e_1_3_2_1_19_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","year":"2002","unstructured":"Benjamin C. Pierce . Types and Programming Languages . The MIT Press , 2002 .]] Benjamin C. Pierce. Types and Programming Languages. The MIT Press, 2002.]]"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258919"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217860"},{"key":"e_1_3_2_1_22_1","series-title":"Lect","first-page":"248","volume-title":"Proc. of ECOOP'96","author":"Rossie Jonathan G.","year":"1996","unstructured":"Jonathan G. Rossie , Jr., Daniel P. Friedman , and Mitchell Wand . Modeling subobject-based inheritance . In Proc. of ECOOP'96 , volume 1098 of Lect . Notes in Comp. Sci ., pages 248 -- 274 , 1996 .]] Jonathan G. Rossie, Jr., Daniel P. Friedman, and Mitchell Wand. Modeling subobject-based inheritance. In Proc. of ECOOP'96, volume 1098 of Lect. Notes in Comp. Sci., pages 248--274, 1996.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"FACTS: A formal analysis for C++","author":"Seligman Adam","year":"1995","unstructured":"Adam Seligman . FACTS: A formal analysis for C++ . Williams College , 1995 . Undergraduate thesis.]] Adam Seligman. FACTS: A formal analysis for C++. Williams College, 1995. Undergraduate thesis.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/353926.353940"},{"key":"e_1_3_2_1_25_1","series-title":"Lect","first-page":"562","volume-title":"Proc. of ECOOP'02","author":"Snelting Gregor","year":"2002","unstructured":"Gregor Snelting and Frank Tip . Semantics-based composition of class hierarchies . In Proc. of ECOOP'02 , volume 2374 of Lect . Notes in Comp. Sci ., pages 562 -- 584 , 2002 .]] Gregor Snelting and Frank Tip. Semantics-based composition of class hierarchies. In Proc. of ECOOP'02, volume 2374 of Lect. Notes in Comp. Sci., pages 562--584, 2002.]]"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029003"},{"key":"e_1_3_2_1_27_1","volume-title":"Multiple inheritance for C++. Computing Systems, 2(4)","author":"Stroustrup Bjarne","year":"1989","unstructured":"Bjarne Stroustrup . Multiple inheritance for C++. Computing Systems, 2(4) , 1989 .]] Bjarne Stroustrup. Multiple inheritance for C++. Computing Systems, 2(4), 1989.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"The Design and Evolution of C++","author":"Stroustrup Bjarne","year":"1994","unstructured":"Bjarne Stroustrup . The Design and Evolution of C++ . Addison Wesley , 1994 .]] Bjarne Stroustrup. The Design and Evolution of C++. Addison Wesley, 1994.]]"},{"key":"e_1_3_2_1_29_1","volume-title":"The C++ Standard: Incorporating Technical Corrigendum No. 1","author":"Stroustrup Bjarne","year":"2003","unstructured":"Bjarne Stroustrup . The C++ Standard: Incorporating Technical Corrigendum No. 1 . John Wiley , 2 edition, 2003 .]] Bjarne Stroustrup. The C++ Standard: Incorporating Technical Corrigendum No. 1. John Wiley, 2 edition, 2003.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.519"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320408"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(00)00061-3"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-0551(00)00005-9"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00013298"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/233976.233987"},{"key":"e_1_3_2_1_38_1","first-page":"b1","author":"Wenzel Markus","year":"2002","unstructured":"Markus Wenzel . Isabelle\/ Isar - A Versatile Environment for Human-Readable Formal Proof Documents . Ph D thesis, Institut f \u00fcr Informatik , Technische Universit\u00e4t M\u00fcnchen , 2002 . http:\/\/tum b1 .biblio.tu-muenchen.de\/publ\/diss\/in\/2002\/wenzel.html.]] Markus Wenzel. Isabelle\/Isar - A Versatile Environment for Human-Readable Formal Proof Documents. PhD thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 2002. http:\/\/tumb1.biblio.tu-muenchen.de\/publ\/diss\/in\/2002\/wenzel.html.]]","journal-title":"Technische Universit\u00e4t M\u00fcnchen"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_40_1","series-title":"Lect","first-page":"329","volume-title":"Proc. of ECOOP'03","author":"Zibin Yoav","year":"2003","unstructured":"Yoav Zibin and Joseph Gil . Two-dimensional bi-directional object layout . In Proc. of ECOOP'03 , volume 3013 of Lect . Notes in Comp. Sci ., pages 329 -- 350 , 2003 .]] Yoav Zibin and Joseph Gil. Two-dimensional bi-directional object layout. In Proc. of ECOOP'03, volume 3013 of Lect. Notes in Comp. Sci., pages 329--350, 2003.]]"}],"event":{"name":"OOPSLA06: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Portland Oregon USA","acronym":"OOPSLA06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1167473.1167503","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1167473.1167503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:15Z","timestamp":1750248495000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1167473.1167503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,16]]},"references-count":37,"alternative-id":["10.1145\/1167473.1167503","10.1145\/1167473"],"URL":"https:\/\/doi.org\/10.1145\/1167473.1167503","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1167515.1167503","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,10,16]]},"assertion":[{"value":"2006-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}