Infering Ownership Types for Encapsulated Object-Oriented Program Components
From MaRDI portal
(Redirected from Publication:3593071)
Recommendations
Cited in
(5)- Ownership types for object encapsulation
- Tunable static inference for generic universe types
- Ownership confinement ensures representation independence for object-oriented programs
- Universe Types for Topology and Encapsulation
- A Representation-Independent Behavioral Semantics for Object-Oriented Components
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)