A Denotational Semantics of Inheritance and Its Correctness

Abstract

This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive definitions. 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. © 1994 Academic Press. All rights reserved.