A denotational semantics of inheritance and its correctness

ACM SIGPLAN Notices

Volumn 24, Issue 10, 1989, Pages 433-443

  Cook, William ^a   Palsberg, Jens ^b  

^a BROWN UNIVERSITY   (United States)

^b AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976650148     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/74878.74922     Document Type: Article

References (19)

1. Alan H. Borning and Tim O'Shea. Deltatalk: An empirically and aesthetically motivated simplification of the Smalltalk-80 language. In European Conf. on Object-Oriented Programming, pages 1-10, 1987.
2. Luca Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, LNCS 173, pages 51-68. Springer-Verlag, 1984.
3. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, 1985.
4. William Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
5. Ole-Johan Dahl and Kristen Nygaard. The SIMULA 67 Common Base Language. 1970.
6. Adele Goldberg and Dave Robson. Smalltalk-80: the Language and Its Implementation. Addison-Wesley, 1983.
7. Michael J. C. Gordon. The Denotational Description of Programming Languages. Springer-Verlag, 1979.
8. Samuel Kamin. Inheritance in Smalltalk-80: A denotational definition. In Proc. of Conf. on Principles of Programming Languages, pages 80-87, 1988.
9. D. McAllester and R. Zabih. Boolean classes. In Proc. ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 417-423, 1987.
10. N. Minsky and D. Rozenshtein. A law-based approach to object-oriented programming. In Proc. ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 482-493, 1987.
11. Peter Mosses and Gordon Plotkin. On proving limiting completeness. SIAM Journal of Computing, 16:179-194, 1987.
12. Uday S. Reddy. Objects as closures: Abstract semantics of object-oriented languages. In Proc. ACM conf. on Lisp and Functional Programming, pages 289-297, 1988.
13. David A. Schmidt. Denotational Semantics: A Methodology for Language Development. Allyn & Bacon, 1986.
14. Dana S. Scott. Data types as lattices. SIAM Journal, 5(3):522-586, 1976.
15. Alan Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proc. ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 38-45, 1986.
16. Lynn Andrea Stein. Delegation is inheritance. In Proc. ACM Conf. on Object-Oriented Programming: Systems, Languages and Applications, pages 138-146, 1987.
17. Joseph Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, 1977.
18. Robert D. Tennent. On a new approach to representation-independent data classes. Acta Informatica, 8:315-324, 1977.
19. Robert D. Tennent. Denotational semantics of Hoare classes. Unpublished manuscript, 1982.