A Denotational Semantics of Inheritance and its Correctness

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. Information and Computation, 114(2):329–350, 1994. Also in Proc. Fourth ACM Conference on Object-Oriented Programming: Systems, Languages and Applications, New Orleans, October 1989, pages 433–443. 1 

• Type: Conference
• Year: 1989
• Where: OOPSLA
• Authors: William R. Cook, Jens Palsberg
• Keywords: Denotational Model, Method Lookup Algorithm, Model, OOPSLA 1989, Security Privacy