NASA NTRS · 19890044936
Objects as closures - Abstract semantics of object oriented languages
Abstract
The 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.
Keep this discovery
Explore connections, maps & timelines
Reddy, Uday S.. 1988-01-01. Objects as closures - Abstract semantics of object oriented languages. https://ntrs.nasa.gov/citations/19890044936
Cite the original work for its findings. Save a collection to share your selection of sources.