Access the full text.
Sign up today, get DeepDyve free for 14 days.
Kathleen Fisher, John Mitchell (1995)
A Delegation-based Object Calculus with Subtying
(2000)
Received September ACM Transactions on Computational Logic
W. Cook (1989)
A denotational semantics of inheritance
W. Cook (1987)
A self-ish model of inheritance
Samuel Kamin (1988)
Inheritance in smalltalk-80: a denotational definition
V. Bono, M. Bugliesi, M. Dezani-Ciancaglini, L. Liquori (1997)
Subtyping Constraints for Incomplete Objects (Extended Abstract)
Didier Rémy (1998)
From Classes to Objects via Subtyping
V. Bono, M. Bugliesi (1997)
Subtyping Constraints for In omplete Obje ts
Uday, Reddy (1988)
Objects as Closures : Abstract Semantics of Object Oriented Languages 1
B. Postow (1999)
Book review: A Theory of Objects by Martin Abadi and Luca Cardelli (Springer-Verlag, 1996): Series--Monographs in Computer ScienceSIGACT News, 30
Kim Bruce, L. Cardelli, B. Pierce (1997)
Comparing Object Encodings
V. Bono, L. Liquori (1994)
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects
M. Abadi, L. Cardelli (1996)
A Theory of Objects
M. Abadi, L. Cardelli (1995)
On subtyping and matchingACM Trans. Program. Lang. Syst., 18
M. Abadi, L. Cardelli, R. Viswanathan (1996)
An interpretation of objects and object types
Kim Bruce (1994)
A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 4
L. Liquori (1997)
An Extended Theory of Primitive Objects: FIrst Order System
M. Abadi (1994)
Baby Modula-3 and a theory of objectsJournal of Functional Programming, 4
Kathleen Fisher, John Mitchell (1998)
On the Relationship Between Classes, Objects, and Data AbstractionTheory Pract. Object Syst., 4
Karl Crary (1998)
Simple, Efficient Object Encoding using Intersection Types
R. Viswanathan (1998)
Full abstraction for first-order objects with recursive types and subtypingProceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
(2002)
ACM Transactions on Computational Logic Typed Interpretations of Extensible Objects @BULLET
G. Boudol, Silvano Dal-Zilio (1999)
An Interpretation of Extensible Objects
V. Bono, M. Bugliesi (1999)
Matching for the lambda Calculus of ObjectsTheor. Comput. Sci., 212
B. Pierce, David Turner (1994)
Simple type-theoretic foundations for object-oriented programmingJournal of Functional Programming, 4
J. Riecke, Christopher Stone (2002)
Privacy via SubsumptionInf. Comput., 172
L. Cardelli (1984)
A Semantics of Multiple Inheritance
Kathleen Fisher, F. Honsell, John Mitchell (1993)
A lambda calculus of objects and method specialization[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
Finding typed encodings of object-oriented into procedural or functional programming sheds light on the theoretical foundations of object-oriented languages and their specific typing constructs and techniques. This article describes a type preserving and computationally adequate interpretation of a full-fledged object calculus that supports message passing and constructs for object update and extension. The target theory is a higher-order λ-calculus with records and recursive folds/unfolds, polymorphic and recursive types, and subtyping. The interpretation specializes to calculi of nonextensible objects, and validates the expected subtypin
ACM Transactions on Computational Logic (TOCL) – Association for Computing Machinery
Published: Oct 1, 2002
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.