A Denotational Semantics af Inheritance and its Correctness

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title A Denotational Semantics af Inheritance and its Correctness
 
Creator Cook, William
Palsberg, Jens
 
Description This 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.
 
Publisher Aarhus University
 
Contributor
 
Date 1989-08-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/6662
10.7146/dpb.v18i284.6662
 
Source DAIMI Report Series; No 284 (1989): PB-284 A Denotational Semantics of Inheritance and its Correctness
DAIMI Report Series; No 284 (1989): PB-284 A Denotational Semantics of Inheritance and its Correctness
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/6662/5792
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library