The following pages link to (Q2779232):
Displaying 11 items.
- A semantic model of confinement and locality theorem (Q351976) (← links)
- Refactoring and representation independence for class hierarchies (Q428866) (← 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)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Observational purity and encapsulation (Q882452) (← links)
- Confinement framework for encapsulating objects (Q2418639) (← links)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Synchronizing Model and Program Refactoring (Q2999312) (← links)
- Universe Types for Topology and Encapsulation (Q3602996) (← links)
- A Representation-Independent Behavioral Semantics for Object-Oriented Components (Q5428910) (← links)
