Skip to main content
SpringerLink
Log in

Modeling the C++ object model

An application of an abstract object model

  • Conference paper
  • First Online:
ECOOP'91 European Conference on Object-Oriented Programming (ECOOP 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 512))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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).

    Google Scholar 

  2. G. Bracha and W. Cook. Mixin-based Inheritance. Proc. OOPSLA/ECOOP-90, 303–311.

    Google Scholar 

  3. L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surveys 17, 4 (Dec. 1985), 471–522.

    Article  Google Scholar 

  4. W. Cook. A Denotational Semantics of Inheritance. Ph.D. Thesis, Brown University, 1989.

    Google Scholar 

  5. M. A. Ellis and B. Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990.

    Google Scholar 

  6. D. H. Fishman, et al. Iris: An Object-Oriented Data Base System. ACM Transactions on Office Information Systems 5, 1 (1987), 48–69.

    MathSciNet  Google Scholar 

  7. U. S. Reddy. Objects as Closures: Abstract Semantics of Object-Oriented Languages. Proc. ACM Conference on Lisp and Functional Programming (1988), 289–297.

    Google Scholar 

  8. A. Snyder. An Abstract Object Model for Object-Oriented Systems. Report HPL-90-22, Hewlett-Packard Laboratories, Palo Alto, CA, April 1990.

    Google Scholar 

  9. A. Snyder. The Essence of Objects: Common Concepts and Terminology. Report HPL-91-50, Hewlett-Packard Laboratories, Palo Alto, CA, May 1991.

    Google Scholar 

  10. R. M. Soley, ed. Object Management Architecture Guide. Document 90.9.1, Object Management Group, Inc. Framingham, Ma., November 1990.

    Google Scholar 

  11. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hewlett-Packard Laboratories, P.O. Box 10490, 94303-0969, Palo Alto, CA

    Alan Snyder

Authors
  1. Alan Snyder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pierre America

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation