A denotational semantics of inheritance and its correctness-Reference-Cited by-同舟云学术

A denotational semantics of inheritance and its correctness

Published:1989-10 Issue:10 Volume:24 Page:433-443
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Cook W.¹,Palsberg J.²

Affiliation:

1. Department of Computer Science, Box 1910 Brown University, Providence, RI

2. Computer Science Department, Aarhus University, Ny Munkegade, DK-8000, Aarhus C, Denmark

Abstract

This paper presents a denotational model of inheritance. The model is based on an intuitive 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 method-lookup algorithm of object-oriented languages. Although it was originally developed to explain inheritance in object-oriented languages, the model shows that inheritance is a general mechanism that may be applied to any form of recursive definition.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/74878.74922

Reference18 articles.

1. A semantics of multiple inheritance

2. On understanding types, data abstraction, and polymorphism

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations;Proceedings of the ACM on Programming Languages;2023-01-09

2. A Calculus with Recursive Types, Record Concatenation and Subtyping;Programming Languages and Systems;2022

3. Combining an Ensemble Clustering Method and a New Similarity Criterion for Modeling the Hereditary Behavior of Diseases;Signal and Data Processing;2021-10-01

4. Compositional Programming;ACM Transactions on Programming Languages and Systems;2021-09-30

5. Modeling Hereditary Disease Behavior Using an Innovative Similarity Criterion and Ensemble Clustering;Current Bioinformatics;2021-08-11