Pages that link to "Item:Q3546287"
From MaRDI portal
The following pages link to Ownership confinement ensures representation independence for object-oriented programs (Q3546287):
Displaying 19 items.
- A semantic model of confinement and locality theorem (Q351976) (← links)
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Blaming the client: on data refinement in the presence of pointers (Q607403) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Automating regression verification of pointer programs by predicate abstraction (Q1650864) (← links)
- Towards patterns for heaps and imperative lambdas (Q2374314) (← links)
- Confinement framework for encapsulating objects (Q2418639) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Laws of Programming for References (Q2937790) (← links)
- Synchronizing Model and Program Refactoring (Q2999312) (← links)
- Full Abstraction at Package Boundaries of Object-Oriented Languages (Q3098051) (← links)
- JAC—Access right based encapsulation for Java (Q4791058) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Holistic Specifications for Robust Programs (Q5039542) (← links)
- Representation independence, confinement and access control [extended abstract] (Q5178904) (← links)
- A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910) (← links)
- Observable interface behaviour and inheritance (Q5741571) (← links)
