A denotational semantics of inheritance and its correctness

W. Cook, J. Palsberg
1989 SIGPLAN notices  
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.
doi:10.1145/74878.74922 fatcat:hmc2z5tpv5bbhlnbkuv2jznlci