Privacy via Subsumption

  title={Privacy via Subsumption},
  author={Jon G. Riecke and Christopher A. Stone},
  journal={Inf. Comput.},
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… CONTINUE READING
Highly Cited
This paper has 59 citations. REVIEW CITATIONS


Publications citing this paper.

59 Citations

Citations per Year
Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…