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

This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of the purpose of inheritance. The correctness of the model is demonstrated by proving it equivalent to an operational semantics of inheritance based upon the method-lookup algorithm of object-oriented languages. Although it was originally developed to explain inheritance in object-oriented languages, the model shows that inheritance is a general mechanism that may be applied to any form of recursive definition.

This publication has 11 references indexed in Scilit:

Inheritance in smalltalk-80: a denotational definition
Published by Association for Computing Machinery (ACM) ,1988
Objects as closures: abstract semantics of object-oriented languages
Published by Association for Computing Machinery (ACM) ,1988
Delegation is inheritance
Published by Association for Computing Machinery (ACM) ,1987
A law-based approach to object-oriented programming
Published by Association for Computing Machinery (ACM) ,1987
On Proving Limiting Completeness
SIAM Journal on Computing, 1987
Encapsulation and inheritance in object-oriented programming languages
Published by Association for Computing Machinery (ACM) ,1986
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys, 1985
A semantics of multiple inheritance
Lecture Notes in Computer Science, 1984
On a new approach to representation independent data classes
Acta Informatica, 1977
Data Types as Lattices
SIAM Journal on Computing, 1976