Objects as closures - Abstract semantics of object oriented languagesThe denotational semantics of object-oriented languages is discussed using the concept of closure widely used in (semi) functional programming to encapsulate side effects. It is shown that this denotational framework is adequate to explain classes, instantiation, and inheritance in the style of Simula as well as SMALLTALK-80. This framework is then compared with that of Kamin (1988), in his recent denotational definition of SMALLTALK-80, and the implications of the differences between the two approaches are discussed.
Document ID
19890044936
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Reddy, Uday S. (Illinois, University Urbana, United States)
Date Acquired
August 14, 2013
Publication Date
January 1, 1988
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 1988 ACM Conference on Lisp and Functional Programming