Objects as closures: Abstract semantics of object oriented languages

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988

Volumn , Issue , 1988, Pages 289-297

  Reddy, Uday S ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL PROGRAMMING; LISP (PROGRAMMING LANGUAGE); SEMANTICS;

ABSTRACT SEMANTICS; SIDE EFFECT; SMALLTALK 80;

OBJECT ORIENTED PROGRAMMING;

EID: 84891611206     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/62678.62721     Document Type: Conference Paper

References (18)

1. H. Abelson, G. J. Sussman, and J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, Cambridge, MA, 1985.
2. R. M. Burstajl and B. Lampson. A kernel language for abstract data types and modules. In G. Kahn, D. B. MacQueen, and G. Plotkin, editors, Semantics of Data Types, page , Springer-Verlag, 1984. Lecture Notes in Computer Science, Vol 173.
3. L. Cardelli. A semantics of multiple inheritance. In International symposium on semantics of data types, pages 51-68, Springer-Verlag, 1984.
4. L. Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, pages 51-67, Springer-Verlag LNCS Vol. 173, 1984.
5. L. Cardelli and P. Wegner. On tmderstanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, 1986.
6. W. R. Cook. A denotational semantics of inheritance (Extended Abstract). Technical Report, Brown University, July 1987.
7. O.-J. Dahl and K. Nygaard. An Algol-based simulation language. Comm. ACM, 9(9):671-678, Sep 1966.
8. B. Liskov et. al. CLTJ Reference Manual. Lecture Notes in Computer Science Vol. 114, Springer-Verlag, 1981.
9. A. Goldberg and D. Robson. smalltalk-80: The Language and its Implementation. Addison-Wesley, Reading, MA, 1983.
10. S. Kamin. Inheritance in smalltalk-80: a denotational definition. In ACM Symp. on Principles of Programming Languages, Jan 1988.
11. R. M. Keller and G. Lindstrom. Approaching distributed database implementations through functional programming concepts. In Intl. Conf. on Distributed Computing Systems, EEEE, Denver, CO., May 1985.
12. D. MacQueen. Using dependent types to express modular structure. In ACM Symp. on Principles of Programming Languages, pages 277-286, 1986.
13. D. B. MacQueen and R. Sethi. A semantic model of types for applicative languages. In Conference on LISP and Functional Programming, pages 243-252, August 1982.
14. R. Milner. A theory of type polymorphism in programming. J. Computer and System Sciences, 17:348-375, 1978.
15. J. C. Mitchell and G. D. Plotkin. Abstract types have existential types. In ACM Symp. on Principles of Programming Languages, pages 37-51, Jan 1985.
16. M. Shaw. ALPHARD: Form and Content. Springer-Verlag, 1981.
17. J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.
18. B. Stroustrup. The C++ Programming Language. Addison- Wesley, Reading, MA, 1986.