Ownership confinement ensures representation independence for object-oriented programs

@article{Banerjee2002OwnershipCE,
  title={Ownership confinement ensures representation independence for object-oriented programs},
  author={Anindya Banerjee and David A. Naumann},
  journal={ArXiv},
  year={2002},
  volume={cs.PL/0212003}
}
Representation independence formally characterizes the encapsulation provided by language constructs for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mutable state; indeed it fails in general for such languages. This article formulates representation independence for classes, in an imperative, object-oriented language with pointers, subclassing and dynamic dispatch… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 76 CITATIONS, ESTIMATED 88% COVERAGE

Typed-based Relaxed Noninterference for Free

VIEW 7 EXCERPTS
CITES RESULTS & BACKGROUND
HIGHLY INFLUENCED

State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings

  • Aliasing in Object-Oriented Programming
  • 2013
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Refactoring and representation independence for class hierarchies: extended abstract

VIEW 17 EXCERPTS
CITES RESULTS, METHODS & BACKGROUND
HIGHLY INFLUENCED

Synchronizing Model and Program Refactoring

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A semantic model of confinement and Locality theorem

  • Frontiers of Computer Science in China
  • 2009
VIEW 5 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Formal Model-Driven Program Refactoring

VIEW 5 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Reasoning About Class Behavior

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

State Based Ownership, Reentrance, and Encapsulation

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2003
2019

CITATION STATISTICS

  • 25 Highly Influenced Citations

  • Averaged 1 Citations per year over the last 3 years

References

Publications referenced by this paper.
SHOWING 1-10 OF 23 REFERENCES

Soundness of data refinement for a higher-order imperative language

  • Theor. Comput. Sci.
  • 2002
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Object ownership and containment

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Data abstraction and information hiding

  • ACM Trans. Program. Lang. Syst.
  • 2002
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Secure information flow and pointer con .nement in a java-like language

  • Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15
  • 2002
VIEW 42 EXCERPTS
HIGHLY INFLUENTIAL

Separation logic: a logic for shared mutable data structures

  • Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
  • 2002
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL