Jon G. Riecke Bell Laboratories, Lucent Technologies, 700 Mountain Avenue,...  Home/Search
Context Related
| hmc.edu/~stone/papers/taposfinal.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: types can be used to hide the representations of objects from clients, even though the objects themselves have access to the internal representations. Information about the names of private fields and methods, however, is still exposed. Their account is in some sense more fundamental than ours: our calculus directly supports hiding, and does not attempt to describe it in more basic concepts. R emy and Vouillon [26] consider a more direct account of private data in classes, but only as inlined... (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)
Similar documents (at the sentence level):
23.1%: Workshop Committee - Workshop Chairs Kim (Correct)
Active bibliography (related documents): More All
0.3: Foundations for MOBY Classes - Fisher, Reppy (1998) (Correct)
0.2: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.2: An Imperative, First-Order Calculus with Object Extension - Bono, Fisher (1998) (Correct)
Similar documents based on text:
98.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/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/riecke98privacy.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
342 Eiffel: The Language (context) - Meyer - 1992
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1988
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
57 Type inference for records in a natural extension of ML (context) - emy - 1994
43 Abadi and Luca Cardelli (context) - Mart - 1996
41 Objective ML: A simple objectoriented extension of ML (context) - emy, ome - 1997
38 What is Java binary compatibility - Drossopoulou, Wragg et al. - 1998
37 Privacy via subsumption - Riecke, Stone - 1998
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 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
13 A paradigmatic object-oriented language: design (context) - Bruce - 1994
11 Large-Scale C++ Software Design (context) - Lakos - 1996
11 An extended theory of primitive objects: First and second or.. (context) - Liquori - 1996
6 the relationship between classes (context) - Fisher, Mitchell - 1997
5 data abstraction and parametric polymorphism (context) - Cardelli, Wegner et al. - 1985
3 Moby objects and classes - Fisher, Reppy - 1998
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