A denotational semantics of inheritance and its correctness
- 1 September 1989
- journal article
- conference paper
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 24 (10), 433-443
- https://doi.org/10.1145/74878.74922
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Inheritance in smalltalk-80: a denotational definitionPublished by Association for Computing Machinery (ACM) ,1988
- Objects as closures: abstract semantics of object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1988
- Delegation is inheritancePublished by Association for Computing Machinery (ACM) ,1987
- A law-based approach to object-oriented programmingPublished by Association for Computing Machinery (ACM) ,1987
- On Proving Limiting CompletenessSIAM Journal on Computing, 1987
- Encapsulation and inheritance in object-oriented programming languagesPublished by Association for Computing Machinery (ACM) ,1986
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- A semantics of multiple inheritanceLecture Notes in Computer Science, 1984
- On a new approach to representation independent data classesActa Informatica, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976