Pages that link to "Item:Q5178904"
From MaRDI portal
The following pages link to Representation independence, confinement and access control [extended abstract] (Q5178904):
Displayed 7 items.
- A semantic model of confinement and locality theorem (Q351976) (← links)
- Abstraction for concurrent objects (Q615951) (← 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)
- On assertion-based encapsulation for object invariants and simulations (Q2643129) (← links)
- Universe Types for Topology and Encapsulation (Q3602996) (← links)