The Role of Memory in Object-based and Object-oriented Languages

  • Eric G. Wagner
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


This paper introduces a mathematical memory model appropriate for programming languages with both ground types and objects, and uses the model to explore a number of programming constructs related to an elementary inheritance, overloading, and class specification.




Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation.Addison-Wesley, Reading, MA, 1983.Google Scholar
  2. [2]
    Wilf R. LaLonde and John R. Pugh. Inside Smalltalk. Prentice-Hall, Englewood Clifs, NJ, 1990.Google Scholar
  3. [3]
    Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall International Series in Computer Science,Prentice-Hall, New York, NY, 1988.Google Scholar
  4. [4]
    John C. Mitchell. Toward a typed foundation for method specialization and inheritance. In Proceedings of the 17th POPL, pages 109–124, ACM, 1990.Google Scholar
  5. [5]
    Laurence C. Paulson. ML for the Working Programmer. Cambridge University Press, Cambridge, 1991.Google Scholar
  6. [6]
    Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley Series in Computer Science,Addison-Wesley, Reading, MA, 2nd edition, 1991.Google Scholar
  7. [7]
    Eric G Wagner. An algebraically specified language for data directed design. Theoretical Computer Science, 77:195–219, 1990.CrossRefMATHMathSciNetGoogle Scholar

Copyright information

© British Computer Society 1994

Authors and Affiliations

  • Eric G. Wagner
    • 1
  1. 1.Wagner MathematicsGarrisonUSA

Personalised recommendations