Abstract
We are developing an abstract model to provide a framework for comparing the object models of various systems, ranging from object-oriented programming languages to distributed object architectures. Our purpose is to facilitate communication among researchers and developers, improve the general understanding of object systems, and suggest opportunities for technological convergence. This paper describes the application of the abstract object model to the C++ programming language. We give an overview of the abstract object model and illustrate its use in modeling C++ objects. Several modeling alternatives are discussed and evaluated, which reveal anomalies in the C++ language. We conclude by characterizing those aspects of the C++ object model that distinguish C++ from other object systems.
Preview
Unable to display preview. Download preview PDF.
References
D. G. Bobrow, L. G. DeMichel, R. P. Gabriel, S. E. Keene, G. Kiczales, D. A. Moon. Common Lisp Object System Specification X3J13. SIGPLAN Notices 23, 9 (1988).
G. Bracha and W. Cook. Mixin-based Inheritance. Proc. OOPSLA/ECOOP-90, 303–311.
L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys 17, 4 (Dec. 1985), 471–522.
W. Cook. A Denotational Semantics of Inheritance. Ph.D. Thesis, Brown University, 1989.
M. A. Ellis and B. Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990.
D. H. Fishman, et al. Iris: An Object-Oriented Data Base System. ACM Transactions on Office Information Systems 5, 1 (1987), 48–69.
U. S. Reddy. Objects as Closures: Abstract Semantics of Object-Oriented Languages. Proc. ACM Conference on Lisp and Functional Programming (1988), 289–297.
A. Snyder. An Abstract Object Model for Object-Oriented Systems. Report HPL-90-22, Hewlett-Packard Laboratories, Palo Alto, CA, April 1990.
A. Snyder. The Essence of Objects: Common Concepts and Terminology. Report HPL-91-50, Hewlett-Packard Laboratories, Palo Alto, CA, May 1991.
R. M. Soley, ed. Object Management Architecture Guide. Document 90.9.1, Object Management Group, Inc. Framingham, Ma., November 1990.
Y. Wand. A Proposal for a Formal Model of Objects. In Object-Oriented Concepts, Databases, and Applications. W. Kim, F. H. Lochovsky, eds. ACM Press, 1989, 537–559.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Snyder, A. (1991). Modeling the C++ object model. In: America, P. (eds) ECOOP'91 European Conference on Object-Oriented Programming. ECOOP 1991. Lecture Notes in Computer Science, vol 512. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057012
Download citation
DOI: https://doi.org/10.1007/BFb0057012
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54262-9
Online ISBN: 978-3-540-47537-8
eBook Packages: Springer Book Archive