Martín Abadi, Luca Cardelli, Ramesh Viswanathan  Home/Search
Context Related
Links: ACM DBLP | microsoft.com/Users/...PrimObjInterp.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present an interpretation of typed object-oriented concepts in terms of well-understood, purely procedural concepts. More precisely, we give a compositional subtypepreserving translation of a basic object calculus supporting method invocation, functional method update, and subtyping, into the polymorphic -calculus with recursive types and subtyping. The translation techniques apply also to an imperative version of the object calculus which includes inplace method update and object cloning.... (Update)
Context of citations to this paper: More
...Full F , the subtype relation is contravariant in the bounds. Although the additional power offered by Full F is occasionally useful (e.g. [ACV96]) the system lacks many desirable properties, such as decidability [Pie94] 3. Completeness of subtyping and typechecking...
.... for the so called object based calculi have then been formulated by Pierce and Turner [PT94] and Abadi, Cardelli and Viswanathan [AC96a, ACV96], Bruce, Pierce and Cardelli [BCP97] and recently by Crary [Cra98] These interpretations apply to a rich variety of object calculi...
Cited by: More
Extensible Objects: a Tutorial - Bono (Correct)
Characterizing Convergent Terms in Object Calculi via.. - de'Liguoro (Correct)
An Interpretation of Typed Concurrent Objects in the Blue Calculus - Zilio (2000) (Correct)
Similar documents (at the sentence level):
24.0%: Sous-Typage Et Programmation Orientée à Objets - Castagna (1997) (Correct)
Active bibliography (related documents): More All
0.5: A Constraint-Based Control Architecture for Acting and.. - Justinian Rosca (1995) (Correct)
0.2: PLDI'96 Tutorial April 30, 1996 12:20 pm 1 - Object-Based Vs Class-Based (Correct)
0.2: SPQR: Use of a First-Order Theorem Prover for Flexibly Finding .. - Smith, Stotts (2003) (Correct)
Similar documents based on text: More All
0.6: Full Abstraction for First-Order Objects with Recursive Types.. - Viswanathan (Correct)
0.3: Comparing Object Encodings - Bruce, Cardelli, Pierce (1998) (Correct)
0.2: Publishing in Wireless and Wireline Environments - Viswanathan (1994) (Correct)
Related documents from co-citation: More All
6: Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
6: A Paradigmatic Object-Oriented Programming Language: Design - Bruce - 1994
6: A theory of primitive objects: untyped and first-order systems - Abadi, Cardelli - 1994
BibTeX entry: (Update)
M. Abadi, L. Cardelli, and R. Viswanathan. An interpretation of objects and object types. In Proc. of the Twenty-Third Annual ACM Symposium on Principles of Programming Languages, 1996. http://citeseer.ist.psu.edu/abadi96interpretation.html More
@inproceedings{ abadi96interpretation,
author = "Mart\'{\i}n Abadi and Luca Cardelli and Ramesh Viswanathan",
title = "An Interpretation of Objects and Object Types",
booktitle = "{ACM} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL}), St.~Petersburg Beach, Florida",
pages = "396--409",
year = "1996",
url = "citeseer.ist.psu.edu/abadi96interpretation.html" }
Citations (may not include all citations):264 A language with distributed scope - Cardelli - 1995 ACM DBLP
112 A Denotational Semantics of Inheritance - Cook - 1989 ACM
101 Simple type-theoretic foundations for object-oriented progra.. - Pierce, Turner - 1994 DBLP
82 Object-oriented programming in the Beta programming language (context) - Madsen, Moller-Pedersen et al. - 1993 ACM
72 A theory of primitive objects: Untyped and first-order syste.. - Abadi, Cardelli - 1994 DBLP
40 Inheritance in Smalltalk-80: a denotational definition (context) - Kamin - 1988 ACM DBLP
31 An imperative object calculus - Abadi, Cardelli - 1995 ACM DBLP
23 Declarative programming in a prototype-instance system: obje.. (context) - Myers, Giuse et al. - 1992 DBLP
22 A semantics of object types - Abadi, Cardelli - 1994 DBLP
14 An interpretation of typed OOP in a language with state - Eifrig, Smith et al. - 1995
13 programmer's reference manual (context) - Agesen, Chambers et al. - 1993 ACM
6 a prototype-based objectoriented language based on concatena.. (context) - Taivalsaari - 1992
4 The NewtonScript Programming Language (context) - Computer, Apple - 1993
4 object-based language (context) - Andersen, general et al. - 1992
2 Technical Report AI Memo No (context) - Lieberman, of - 1981
1 Programming Objects with ML-ART (context) - R'emy - 1994
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