Pages that link to "Item:Q2942927"
From MaRDI portal
The following pages link to Ownership types for object encapsulation (Q2942927):
Displayed 7 items.
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← 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)
- Universe Types for Topology and Encapsulation (Q3602996) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)