Infering Ownership Types for Encapsulated Object-Oriented Program Components
From MaRDI portal
Publication:3593071
Recommendations
Cited in
(5)- A Representation-Independent Behavioral Semantics for Object-Oriented Components
- Ownership confinement ensures representation independence for object-oriented programs
- Tunable static inference for generic universe types
- Ownership types for object encapsulation
- Universe Types for Topology and Encapsulation
This page was built for publication: Infering Ownership Types for Encapsulated Object-Oriented Program Components
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3593071)