NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
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
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
1988 ACM Conference on Lisp and Functional Programming(Snowbird, CO)
Funding Number(s)
CONTRACT_GRANT: NAG1-613
CONTRACT_GRANT: NSF CCR-87-00988
Distribution Limits
Public
Copyright
Other