Ownership confinement ensures representation independence for object-oriented programs

DOI10.1145/1101821.1101824zbMath1316.68033arXivcs/0212003OpenAlexW2013368693MaRDI QIDQ3546287

David A. Naumann, Anindya Banerjee

Publication date: 21 December 2008

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0212003

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items

Holistic Specifications for Robust Programs, Towards patterns for heaps and imperative lambdas, Towards imperative modules: reasoning about invariants and sharing of mutable state, On assertion-based encapsulation for object invariants and simulations, Automating regression verification of pointer programs by predicate abstraction, A semantic model of confinement and locality theorem, Laws of Programming for References, Blaming the client: on data refinement in the presence of pointers, Observational purity and encapsulation, Refactoring and representation independence for class hierarchies, Verification of object-oriented programs: a transformational approach, Synchronizing Model and Program Refactoring, Observable interface behaviour and inheritance, A Representation-Independent Behavioral Semantics for Object-Oriented Components, Category Theoretic Models of Data Refinement, Full Abstraction at Package Boundaries of Object-Oriented Languages