Sciweavers

OOPSLA
1989
Springer

A Denotational Semantics of Inheritance and its Correctness

13 years 7 months ago
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
William R. Cook, Jens Palsberg
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1989
Where OOPSLA
Authors William R. Cook, Jens Palsberg
Comments (0)