The Role of Memory in Object-based and Object-oriented Languages
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.
KeywordsNatural Transformation Garbage Collection Partial Functor Unique Object Instance Variable
Unable to display preview. Download preview PDF.
- Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation.Addison-Wesley, Reading, MA, 1983.Google Scholar
- Wilf R. LaLonde and John R. Pugh. Inside Smalltalk. Prentice-Hall, Englewood Clifs, NJ, 1990.Google Scholar
- Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall International Series in Computer Science,Prentice-Hall, New York, NY, 1988.Google Scholar
- 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
- Laurence C. Paulson. ML for the Working Programmer. Cambridge University Press, Cambridge, 1991.Google Scholar
- Bjarne Stroustrup. The C++ Programming Language. Addison-Wesley Series in Computer Science,Addison-Wesley, Reading, MA, 2nd edition, 1991.Google Scholar