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.


Natural Transformation Garbage Collection Partial Functor Unique Object Instance Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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