Pages that link to "Item:Q2942927"
From MaRDI portal
The following pages link to Ownership types for object encapsulation (Q2942927):
Displaying 10 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)
- Ownership confinement ensures representation independence for object-oriented programs (Q3546287) (← links)
- Universe Types for Topology and Encapsulation (Q3602996) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- (Q4345244) (← links)
- Ownership guided C to Rust translation (Q6535702) (← links)