[ACM Press the tenth annual conference - Austin, Texas, United States (1995.10.15-1995.10.19)] Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '95 - An algebraic semantics of subobjects

✍ Scribed by Rossie, Jonathan G.; Friedman, Daniel P.

• Book ID: 121373157
• Publisher: ACM Press
• Year: 1995
• Tongue: English
• Weight: 819 KB
• Category: Article
• ISBN-13: 9780897917032
• DOI: 10.1145/217838.217860

✦ Synopsis

Existing formalisms of inheritance are not sufficient to model the complexities of the kind of multiple inheritance exemplified in C++. Any satisfactory formalism must model the complicating effects of virtual and nonvirtual base classes as well as virtual and non-virtual methods. By abstracting the implementational notion of a subobject and formalizing subobject selection, we develop a formalism to model this combination of features. Not intended as a formal semantics of C++, the resulting model should nevertheless provide an essential level of understanding for language theorists and implementors in their dealings with C++ and related languages.Both authors were partially supported by NSF grant CCR-9302114.