A Denotational Semantics af Inheritance and its Correctness
AbstractThis paper presents a denotational model of inheritance. The model is based on an inituitive 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 methodlookup algorithm of object-oriented languages. Although it was originally developed to explain inheritance in object-oriented languages, the model shows that in heritance is a general mechanism that may be applied to any form of recursive definition.
How to Cite
Cook, W., & Palsberg, J. (1989). A Denotational Semantics af Inheritance and its Correctness. DAIMI Report Series, 18(284). https://doi.org/10.7146/dpb.v18i284.6662
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.