Inheritance in SMALLTALK-80: A denotational definition

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn Part F130193, Issue , 1988, Pages 80-87

  Kamin, Samuel ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

DENOTATIONAL SEMANTICS; SIMPLE TREATMENTS; SMALLTALK 80; STANDARD ML;

OBJECT ORIENTED PROGRAMMING;

EID: 85026747787     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/73560.73567     Document Type: Conference Paper

References (22)

1. L. Cardelli, A semantics of multiple inheritance, Springer-Verlag LNCS 173, 1984, 51-67.
2. L. Cardelli, Amber AT&T Bell Labs Technical Memorandume 1985.
3. L. Cardelli, P. Wegner, On understanding types, data abstraction, and polymorphism, Computing Surveys 17(4), 1986.
4. W. Clinger, Foundations of Actor Semantics, PhD. thesis, MIT, 1981.
5. W. R. Cook, A Denotational Semantics of Inheritance (Extended Abstract), Brown University, Dept. of Comp. Sci., July 1987.
6. O.-J. Dahl, K. Nygaard, An Algol-based simulation language, Comm. ACM 9(9), Sept. 1966, 671-678.
7. K. Futatsugi, J. Goguen, J.-P. Jouannaud, J. Meseguer, Principles of OBJ2, Twelfth POPL, New Orleans, 1985, 52-66.
8. J. Guttag, J. Horning, J. Wing, Larch in five easy pieces, Technical Report 5, DEC Systems Research Center, 1985.
9. A. Goldberg and D. Robson, SMALLTALK-80: The Language and Its Implementation, Addison-Wesley, Reading, MA, 1983.
10. M. Gordon, R. Milner, L. Morris, M. Newey, C. Wadsworth, A metalanguage for interactive proof in LCF, Fifth POPL, Tucson, 1978, 119-130.
11. R. Johnson, Type-checking Smalltalk, in [M86], 315-321.
12. H. Lieberman, Using prototypical objects to implement shared behavior in object-oriented systems, in [M86], 214-223.
13. N. Meyrowitz (ed.), Proc. Conf. on Object-oriented Programming Systems, Languages, and Applications (OOP-SLA) '86, Portland, OR, SIGPLAN Notices 21 (11), 1986.
14. R. Milner, A proposal for Standard ML, Proc. ACM Conf. on Lisp and Functional Programming, Austin, 1984.
15. U. Reddy, On the semantics of object-oriented languages, manuscript, U. of Illinois, May 1987.
16. C. Schaffert et. al., An introduction to Trellis/Owl, in [M86], 9-16.
17. J. Stoy, Denotational Semantics, The MIT Press, Cambridge, MA, 1977.
18. B. Stroustrup, The C++ Programming Language, Addison-Wesley, Reading, MA, 1986.
19. R. Tennent A denotational definition of the programming language Pascal T. R. 77-47, Dept. of Computing and Info. Sci., Queen's Univ., Kingston, Ontario, 1977.
20. R. Tennent, Language design methods based on semantic principles, Acta Info. 8, 1977, 97-112.
21. D. Touretzky, The Semantics of Inheritance Systems, Morgan-Kaufman, 1986.
22. M. Wolczko, Semantics of SMALLTALK-80, European Conference on Object-Oriented Programming, Paris, June 1987.