William Cook, Jens Palsberg  Home/Search
Context Related
| daimi.aau.dk/pub/palsberg/p...ic90.ps.Z purdue.edu/homes/palsberg/...ic94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iamwww.unibe.ch/cgib...oobib?ftp (more) From: purdue.edu/homes/p...publications Homepages: W.Cook |
Rate this article:      (best)Comment on this article |
Abstract: 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 objectoriented languages. Information and Computation, 114(2):329--350, 1994. Also in Proc. Fourth ACM Conference on Object-Oriented Programming: Systems, ... (Update)
Cited by: More
Attribute Grammars as Record Calculus - A Structure-Oriented .. - Gondow, Katayama (2000) (Correct)
OPUS: a Calculus for Modelling Object-Oriented Concepts - Mens, Mens, Steyaert (1994) (Correct)
An Object-Oriented Approach to Formal Specification - Smith (1992) (Correct)
Similar documents (at the sentence level):
72.0%: A Denotational Semantics of Inheritance and its Correctness - Cook, Palsberg (1995) (Correct)
21.3%: A Denotational Semantics of Inheritance - Cook (1989) (Correct)
Active bibliography (related documents): More All
0.2: Viewing Objects as Patterns of Communicating Agents - Nierstrasz, Papathomas (1990) (Correct)
0.2: Darwin-E: An Environment For Imposing Regularity On Object-Oriented .. - Pal (1996) (Correct)
0.2: Regularities in Software Systems - Minsky (1993) (Correct)
Similar documents based on text: More All
0.3: Interfaces and Specifications for the Smalltalk-80 Collection.. - Cook (1992) (Correct)
0.2: Eta-Expansion does the Trick - Danvy, Malmkjær, Palsberg (1996) (Correct)
0.2: Inheritance Decomposed - Fröhlich (2002) (Correct)
Related documents from co-citation: More All
33: A Semantics of Multiple Inheritance - Cardelli - 1988
30: Inheritance is not Subtyping (context) - Cook, Hill et al. - 1990
28: Object-oriented software construction (context) - Meyer - 1988
BibTeX entry: (Update)
W. Cook and J. Palsberg. A denotational semantics of inheritance and its correctness. Inf. & Comp., 114(2):329--350, 1995. http://citeseer.ist.psu.edu/article/cook94denotational.html More
@inproceedings{ cook89denotational,
author = "William Cook and Jens Palsberg",
title = "A denotational semantics of inheritance and its correctness",
booktitle = "Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications ({OOPSLA})",
journal = "SIGPLAN Notices",
volume = "24",
number = "10",
publisher = "ACM Press",
address = "New York, NY",
editor = "Norman Meyrowitz",
pages = "433--444",
year = "1989",
url = "citeseer.ist.psu.edu/article/cook94denotational.html" }
Citations (may not include all citations):388 On understanding types (context) - Cardelli, Wegner - 1985
369 A semantics of multiple inheritance - Cardelli - 1984
221 Denotational Semantics: A Methodology for Language Developme.. (context) - Schmidt - 1986
162 Data types as lattices (context) - Scott - 1976
112 A Denotational Semantics of Inheritance - Cook - 1989
100 Smalltalk-80: the Language and Its Implementation (context) - Goldberg, Robson - 1983
88 Encapsulation and inheritance in object-oriented programming.. - Snyder - 1986
84 The Denotational Description of Programming Languages (context) - Gordon - 1979
82 Objects as closures: Abstract semantics of object-oriented l.. (context) - Reddy - 1988
67 Delegation is inheritance (context) - Stein - 1987
12 Compiling inheritance using partial evaluation (context) - Khoo, Sundaresh - 1991
10 Boolean Classes (context) - McAllester, Zabih - 1987
9 Deltatalk: An empirically and aesthetically motivated simpli.. (context) - Borning, O'Shea - 1987
7 The SIMULA 67 Common Base Language (context) - Dahl, Nygaard - 1970
6 Inheritance in Smalltalk-80: A denotational definition (context) - Kamin - 1988
5 A law-based approach to object-oriented programming (context) - Minsky, Rozenshtein - 1987
2 On proving limiting completeness (context) - Mosses, Plotkin - 1987
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://iamwww.unibe.ch/cgi-bin/oobib?ftp): More
Object-Oriented Type Inference - Palsberg, Schwartzbach (1991) (Correct)
pi-Calculus Semantics for the Concurrent Configuration.. - Eisenbach, Paterson (1993) (Correct)
Making Type Inference Practical - Oxhoj, Palsberg, Schwartzbach (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC