{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:43Z","timestamp":1772164003880,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[1995,10,17]],"date-time":"1995-10-17T00:00:00Z","timestamp":813888000000},"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":[[1995,10,17]]},"DOI":"10.1145\/217838.217860","type":"proceedings-article","created":{"date-parts":[[2003,11,13]],"date-time":"2003-11-13T14:46:36Z","timestamp":1068734796000},"page":"187-199","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["An algebraic semantics of subobjects"],"prefix":"10.1145","author":[{"suffix":"Jr.","given":"Jonathan G.","family":"Rossie","sequence":"first","affiliation":[]},{"given":"Daniel P.","family":"Friedman","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[1995,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"17","volume-title":"Proceedings OOPSLA '86","author":"BOBROW D. G.","year":"1986","unstructured":"BOBROW , D. G. , KAHN , K. , KICZALES , G. , MASINTER , L. , STEFIK , M. , AND ZDYBEL , F. CommonLoops : Merging Lisp and object-oriented programming . In Proceedings OOPSLA '86 , ACM SIGPLAN Notices ( 1986 ), pp. 17 - 29 . BOBROW, D. G., KAHN, K., KICZALES, G., MASINTER, L., STEFIK, M., AND ZDYBEL, F. CommonLoops: Merging Lisp and object-oriented programming. In Proceedings OOPSLA '86, ACM SIGPLAN Notices (1986), pp. 17-29."},{"key":"e_1_3_2_1_2_1","first-page":"234","volume-title":"Proceedings AAAI '82","author":"BORNING A.","year":"1982","unstructured":"BORNING , A. , AND INGALLS , D. Multiple inheritance in Smalltalk-80 . In Proceedings AAAI '82 ( 1982 ), pp. 234 - 237 . BORNING, A., AND INGALLS, D. Multiple inheritance in Smalltalk-80. In Proceedings AAAI '82 (1982), pp. 234-237."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types, G. Kahn, D. b","author":"CARDELLI L.","year":"1984","unstructured":"CARDELLI , L. A semantics for multiple inheritance . In Semantics of Data Types, G. Kahn, D. b . MacQueen, and G. Plotkin, Eds., LNCS 173. Springer-Verlag , New York, 1984 , pp. 51 - 67 . CARDELLI, L. A semantics for multiple inheritance. In Semantics of Data Types, G. Kahn, D. b. MacQueen, and G. Plotkin, Eds., LNCS 173. Springer-Verlag, New York, 1984, pp. 51-67."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90007-7"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"e_1_3_2_1_6_1","first-page":"1","article-title":"The case against multiple inheritance in C++","volume":"4","author":"CARGILL T. A.","year":"1991","unstructured":"CARGILL , T. A. Controversy : The case against multiple inheritance in C++ . Computing Systems 4 , 1 ( 1991 ), 69-82. CARGILL, T. A. Controversy: The case against multiple inheritance in C++. Computing Systems 4, 1 (1991), 69-82.","journal-title":"Computing Systems"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97983"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74922"},{"key":"e_1_3_2_1_11_1","volume-title":"Introduction to Lattices and Order","author":"DAVEY B. A.","year":"1990","unstructured":"DAVEY , B. A. , AND PRIESTLY , H. A. Introduction to Lattices and Order . Cambridge University Press , 1990 . DAVEY, B. A., AND PRIESTLY, H. A. Introduction to Lattices and Order. Cambridge University Press, 1990."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/34985.35008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/141936.141939"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191110"},{"key":"e_1_3_2_1_15_1","volume-title":"The Annotated C++ Reference Manual","author":"ELLIS M. A.","year":"1990","unstructured":"ELLIS , M. A. , AND STROUSTRUP , B. The Annotated C++ Reference Manual . Addison-Wesley , 1990 . ELLIS, M. A., AND STROUSTRUP, B. The Annotated C++ Reference Manual. Addison-Wesley, 1990."},{"key":"e_1_3_2_1_16_1","volume-title":"Indiana University Dept. of Computer Science","author":"FRIEDMAN D. P.","year":"1995","unstructured":"FRIEDMAN , D. P. , HAYNES , C. T. , MENDHEKAR , A. , AND ROSSIE , JR. , J. G. Scheme++ : A Static Object-Oriented Scheme Extension with Multiple Inheritance, v1.0 . Indiana University Dept. of Computer Science , 1995 . Work in Progress. FRIEDMAN, D. P., HAYNES, C. T., MENDHEKAR, A., AND ROSSIE, JR., J. G. Scheme++: A Static Object-Oriented Scheme Extension with Multiple Inheritance, v1.0. Indiana University Dept. of Computer Science, 1995. Work in Progress."},{"key":"e_1_3_2_1_17_1","volume-title":"Smalltalk-80: The Language and its Implementation","author":"GOLDBERG A.","year":"1983","unstructured":"GOLDBERG , A. , AND ROBSON , D. Smalltalk-80: The Language and its Implementation . Addison-Wesley , Reading, MA , 1983 . GOLDBERG, A., AND ROBSON, D. Smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA, 1983."},{"key":"e_1_3_2_1_18_1","volume-title":"Technical Report TR-EI-17\/RM (version 2.2).","author":"INTERACTIVE SOFTWARE ENGINEERING","year":"1989","unstructured":"INTERACTIVE SOFTWARE ENGINEERING , Inc. Eiffel Reference Manual , August 1989 . Technical Report TR-EI-17\/RM (version 2.2). INTERACTIVE SOFTWARE ENGINEERING, Inc. Eiffel Reference Manual, August 1989. Technical Report TR-EI-17\/RM (version 2.2)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73567"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/60592.60607"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01934377"},{"key":"e_1_3_2_1_22_1","volume-title":"Eiffel: The Language","author":"MEYER B.","year":"1992","unstructured":"MEYER , B. Eiffel: The Language . Prentice Hall , 1992 . MEYER, B. Eiffel: The Language. Prentice Hall, 1992."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28698"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/947955.1083808"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62721"},{"key":"e_1_3_2_1_27_1","first-page":"39","volume-title":"Proceedings ECOOP '89 (1989), The British Computer Society Workshop Series","author":"SAKKINEN M.","unstructured":"SAKKINEN , M. Disciplined inheritance . In Proceedings ECOOP '89 (1989), The British Computer Society Workshop Series , Cambridge University Press , pp. 39 - 56 . SAKKINEN, M. Disciplined inheritance. In Proceedings ECOOP '89 (1989), The British Computer Society Workshop Series, Cambridge University Press, pp. 39-56."},{"key":"e_1_3_2_1_28_1","first-page":"1","article-title":"A critique of the inheritance principles of C++","volume":"5","author":"SAKKINEN M","year":"1992","unstructured":"SAKKINEN , M . A critique of the inheritance principles of C++ . Computing Systems 5 , 1 ( 1992 ), 69- 110. SAKKINEN, M. A critique of the inheritance principles of C++. Computing Systems 5, 1 (1992), 69- 110.","journal-title":"Computing Systems"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings OOPSLA '86, ACM SIGPLAN Notices (Nov. 1986), pp. 9-16. Published as Proceedings OOPSLA '86, ACM SIGPLAN Notices","volume":"21","author":"SCHAFFERT C.","unstructured":"SCHAFFERT , C. , COOPER , T. , BULLIS , B. , KILLIAN , M. , and WILPOLT , C. An introduction to Trellis\/Owl . In Proceedings OOPSLA '86, ACM SIGPLAN Notices (Nov. 1986), pp. 9-16. Published as Proceedings OOPSLA '86, ACM SIGPLAN Notices , volume 21 , number 11. SCHAFFERT, C., COOPER, T., BULLIS, B., KILLIAN, M., and WILPOLT, C. An introduction to Trellis\/Owl. In Proceedings OOPSLA '86, ACM SIGPLAN Notices (Nov. 1986), pp. 9-16. Published as Proceedings OOPSLA '86, ACM SIGPLAN Notices, volume 21, number 11."},{"key":"e_1_3_2_1_30_1","volume-title":"FACTS: A formal analysis of C++: Type rules and semantics. B.A. Honors Thesis","author":"SELIGMAN A.","year":"1995","unstructured":"SELIGMAN , A. FACTS: A formal analysis of C++: Type rules and semantics. B.A. Honors Thesis , Williams College , May 1995 . SELIGMAN, A. FACTS: A formal analysis of C++: Type rules and semantics. B.A. Honors Thesis, Williams College, May 1995."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/323648.323738","article-title":"An overview","volume":"21","author":"SNYDER A.","year":"1986","unstructured":"SNYDER , A. CommonObjects : An overview . ACM SIGPLAN Notices 21 , 10 ( October 1986 ), 19-28. SNYDER, A. CommonObjects: An overview. ACM SIGPLAN Notices 21, 10 (October 1986), 19-28.","journal-title":"ACM SIGPLAN Notices"},{"key":"e_1_3_2_1_32_1","first-page":"165","volume-title":"Eds. MIT Press","author":"SNYDER A.","year":"1987","unstructured":"SNYDER , A. Inheritance and the development of encapsulated software components. In Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner , Eds. MIT Press , 1987 , pp. 165 - 188 . SNYDER, A. Inheritance and the development of encapsulated software components. In Research Directions in Object-Oriented Programming, B. Shriver and P. Wegner, Eds. MIT Press, 1987, pp. 165-188."},{"key":"e_1_3_2_1_33_1","first-page":"1","volume-title":"Proceedings ECOOP '91","author":"SNYDER A.","year":"1991","unstructured":"SNYDER , A. Modeling the C++ object model , an application of an abstract object model . In Proceedings ECOOP '91 ( 1991 ), LNCS 512, Springer-Verlag , pp. 1 - 20 . SNYDER, A. Modeling the C++ object model, an application of an abstract object model. In Proceedings ECOOP '91 (1991), LNCS 512, Springer-Verlag, pp. 1-20."},{"key":"e_1_3_2_1_34_1","volume-title":"L","author":"STEELE JR","year":"1990","unstructured":"STEELE JR ., G. L . Common Lisp : The Language, 2 nd ed. Digital Press , 1990 . STEELE JR., G. L. Common Lisp: The Language, 2nd ed. Digital Press, 1990.","edition":"2"},{"key":"e_1_3_2_1_35_1","first-page":"4","article-title":"Multiple inheritance for C++","volume":"2","author":"STROUSTRUP B","year":"1989","unstructured":"STROUSTRUP , B . Multiple inheritance for C++ . Computing Systems 2 , 4 ( 1989 ). STROUSTRUP, B. Multiple inheritance for C++. Computing Systems 2, 4 (1989).","journal-title":"Computing Systems"},{"key":"e_1_3_2_1_36_1","volume-title":"Research Notes in Artificial Intelligence. Pitman","author":"TOURETZKY D. S.","year":"1986","unstructured":"TOURETZKY , D. S. The Mathematics of Inheritance Systems . Research Notes in Artificial Intelligence. Pitman , 1986 . TOURETZKY, D. S. The Mathematics of Inheritance Systems. Research Notes in Artificial Intelligence. Pitman, 1986."},{"key":"e_1_3_2_1_37_1","first-page":"131","volume-title":"Ed. Clarendon Press","author":"WALLACE C.","year":"1995","unstructured":"WALLACE , C. The semantics of the C++ programming language. In Specification and Validation Methods for Programming Languages, E. Boerger , Ed. Clarendon Press , Oxford , 1995 , pp. 131 - 163 . WALLACE, C. The semantics of the C++ programming language. In Specification and Validation Methods for Programming Languages, E. Boerger, Ed. Clarendon Press, Oxford, 1995, pp. 131-163."}],"event":{"name":"OOPSLA95: Conference on Object Oriented Programming Systems Languages and Applications","location":"Austin Texas USA","acronym":"OOPSLA95","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/217838.217860","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/217838.217860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:00:39Z","timestamp":1750262439000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/217838.217860"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10,17]]},"references-count":34,"alternative-id":["10.1145\/217838.217860","10.1145\/217838"],"URL":"https:\/\/doi.org\/10.1145\/217838.217860","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/217839.217860","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1995,10,17]]},"assertion":[{"value":"1995-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}