| Alternate document: Details A Theory of Primitive Objects (94) Martin Abadi, Luca Cardelli |
Martín Abadi, Luca Cardelli  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/User...mObj1stOrder.A4.ps microsoft.com/User...rimObj1stOrder.pdf compaq.com/SRC/per...PrimObj1stOrder.ps 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: luca.demon.co.uk/Bibliography (more) From: luca.demon.co.uk/Bibliography (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressiveness of our calculi and the pitfalls that we avoid. 1. Introduction Typed l-calculi have provided a rich foundation for procedural languages, but attempts to use these calculi to model object-oriented languages have not been completely successful. We aim to study the intrinsic properties of objects by developing... (Update)
Cited by: More
Objective ML: A simple object-oriented extension of ML - Remy, Vouillon (1997) (Correct)
A Formalisation of Encapsulated Modification of Objects - Mens, De Volder, Mens (1996) (Correct)
OPUS: a Calculus for Modelling Object-Oriented Concepts - Mens, Mens, Steyaert (1994) (Correct)
Similar documents (at the sentence level):
61.1%: A Theory of Primitive Objects - Abadi, Cardelli (1994) (Correct)
Active bibliography (related documents): More All
0.8: A Theory of Primitive Objects - Second-Order Systems - Abadi, Cardelli (Correct)
0.6: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.4: May 28, 1994 3:03 PM ESOP'94 1 - Theory Of Primitive (Correct)
Similar documents based on text: More All
0.2: A Semantics of Object Types - Abadi, Cardelli (1994) (Correct)
0.2: Efficient Inference of Object Types - Palsberg (1995) (Correct)
0.2: Comparing Object Encodings - Bruce, Cardelli, Pierce (1998) (Correct)
Related documents from co-citation: More All
24: A Theory of Primitive Objects: Second-order Systems - Abadi, Cardelli
21: Simple type-theoretic foundations for objectoriented programming - Pierce, Turner - 1994
19: Safe type checking in a statically typed object-oriented programming language (context) - Bruce - 1993
BibTeX entry: (Update)
M. Abadi and L. Cardelli. A theory of primitive objects: untyped and first-order systems. In Proc. Theor. Aspects of Computer Software, Sendai, Japan, 1994. http://citeseer.ist.psu.edu/abadi94theory.html More
@incollection{ abadi94theory,
author = "Mart\'{\i}n Abadi and Luca Cardelli",
title = "A Theory of Primitive Objects --- Untyped and First-Order Systems",
booktitle = "Theoretical Aspects of Computer Software",
volume = "789",
publisher = "Springer-Verlag",
editor = "Masami Hagiya and John C. Mitchell",
pages = "296--320",
year = "1994",
url = "citeseer.ist.psu.edu/abadi94theory.html" }
Citations (may not include all citations):369 A semantics of multiple inheritance - Cardelli - 1988 ACM DBLP
315 Dynamic typing in a statically typed language - Abadi, Cardelli et al. - 1991 ACM DBLP
210 its syntax and semantics (context) - Barendregt - 1985
127 Systems programming with Modula (context) - Nelson - 1991
112 A denotational semantics of inheritance - Cook - 1989 ACM
107 Complete type inference for simple objects (context) - Wand - 1987 DBLP
76 Toward a typed foundation for method specialization and inhe.. (context) - Mitchell - 1990 ACM DBLP
75 A paradigmatic object-oriented programming language: design - Bruce - 1994
71 Operations on records - Cardelli, Mitchell - 1994 ACM DBLP
56 A lambda calculus of objects and method specialization (context) - Mitchell, Honsell et al. - 1993 ACM DBLP
47 Extensible records in a pure calculus of subtyping - Cardelli - 1994 ACM
41 A theory of primitive objects: second-order systems - Abadi, Cardelli - 1994 DBLP
31 An imperative object calculus - Abadi, Cardelli - 1995 ACM DBLP
27 A unifying type-theoretic framework for objects - Hofmann, Pierce - 1994 ACM DBLP
18 Baby Modula-3 and a theory of objects - Abadi - 1994 DBLP
12 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Amadio, Cardelli - 1991
9 IEEE Symposium on Logic in Computer Science (context) - Abadi, Cardelli et al. - 1994
4 th Annual ACM Symposium on Principles of Programming Languag.. (context) - Kamin, Inheritance - 1988
4 th Annual IEEE Symposium on Logic in Computer Science (context) - Palsberg - 1994
3 calculus numeral systems (context) - Wadsworth - 1980
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.luca.demon.co.uk/Bibliography.html): More
On Binary Methods - Bruce, Cardelli, Castagna, Eifrig.. (1995) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (Correct)
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (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