Jon G. Riecke Bell Laboratories Lucent Technologies 700 Mountain Avenue...  Home/Search
Context Related
| hmc.edu/~stone/papers/fool5.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: cmu.edu/~fox/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe an object calculus that allows both extension of objects and full width subtyping (hiding arbitrary components). In contrast to other proposals, the types of our calculus do not mention "missing " methods. To avoid type unsoundness, the calculus mediates all interaction with objects via "dictionaries" that resemble the method dispatch tables in conventional implementations. Private fields and methods can be modeled and enforced by scoping restrictions: forgetting a field or method... (Update)
Context of citations to this paper: More
...step in the design of a new language. This thesis follows the classical methodology of theoretical research on OO [Coo89a, AC96a, FHM94, Fis96, PT94, BPF97, RS98], using types as an instrument of analysis of OO as a paradigm on its own, and of synthesis of new results. Unless...
Cited by: More
Privacy via Subsumption - Jon Riecke Bell (1998) (Correct)
EGO: Controlling the Power of Simplicity - Bejleri, Aldrich, Bierhoff (2006) (Correct)
More Dynamic Object Re-classification: Fickle_II - Drossopoulou, Damiani.. (2002) (Correct)
Active bibliography (related documents): More All
0.5: Workshop Committee - Workshop Chairs Kim (Correct)
0.5: Querying Semi-Structured Data - Abiteboul (1997) (Correct)
0.2: An Imperative, First-Order Calculus with Object Extension - Bono, Fisher (1998) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
18: A Delegation-based Object Calculus with Subtyping - Fisher, Mitchell - 1995
14: Subtyping Constraints for Incomplete Objects (context) - Bono, Bugliesi et al. - 1997
13: Type Systems for Object-Oriented Programming Languages - Fisher - 1996
BibTeX entry: (Update)
J.G. Riecke and C. Stone. Privacy via Subsumption. In Electronic proceedings of FOOL-98, 1998. http://citeseer.ist.psu.edu/article/riecke98privacy.html More
@article{ riecke99privacy,
author = "Jon G. Riecke and Christopher A. Stone",
title = "Privacy via Subsumption",
journal = "Theory and Practice of Object Systems",
year = "1999",
url = "citeseer.ist.psu.edu/article/riecke98privacy.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
862 The Java Language Specification - Gosling, Joy et al. - 1996
342 Eiffel: The Language (context) - Meyer - 1992
134 A Theory of Objects (context) - Abadi, Cardelli - 1996
107 Complete type inference for simple objects (context) - Wand - 1987
88 Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1995
81 The theory and practice of first-class prompts (context) - Felleisen - 1988
76 Modularity meets inheritance - Bracha, Lindstrom - 1992
76 Toward a typed foundation for method specialization and inhe.. (context) - Mitchell - 1990
73 A delegation-based object calculus with subtyping - Fisher, Mitchell - 1995
63 A lambda calculus of objects and method specialization - Fisher, Honsell et al. - 1994
33 Subtyping constraints for incomplete objects (context) - Bono, Bugliesi et al. - 1997
32 Type Systems for Object-Oriented Programming Languages - Fisher - 1996
26 The development of type systems for object-oriented language.. - Fisher, Mitchell - 1996
21 Objective ML: A simple objectoriented extension of ML - Remy, Vouillon - 1997
21 An extended theory of primitive objects: First order system - Liquori - 1997
20 A lambda calculus of incomplete objects - Bono, Bugliesi et al. - 1996
14 Type inference with extended pattern matching and subtypes (context) - Jategaonkar, Mitchell - 1993
11 An extended theory of primitive objects: First and second or.. (context) - Liquori - 1996
11 Large-Scale C++ Software Design (context) - Lakos - 1996
6 the relationship between classes (context) - Fisher, Mitchell - 1997
5 data abstraction and parametric polymorphism (context) - Cardelli, Wegner et al. - 1985
2 Type inference for records in a natural extension of ML - Remy - 1994
2 A subtyping for the Fisher-HonsellMitchell calculus of objec.. (context) - Bono, Liquori - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~fox/publications.html): More
A Modal Analysis of Staged Computation - Davies, Pfenning (1995) (Correct)
Toward a Practical Type Theory for Recursive Modules - Dreyer, Harper, Crary (2001) (Correct)
Replication-Based Incremental Copying Collection - Nettles, O'Toole, Pierce.. (1993) (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