Infering Ownership Types for Encapsulated Object-Oriented Program Components
From MaRDI portal
Publication:3593071
DOI10.1007/978-3-540-71322-7_6zbMATH Open1149.68342OpenAlexW1483640141MaRDI QIDQ3593071FDOQ3593071
Authors: Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer
Publication date: 24 September 2007
Published in: Program Analysis and Compilation, Theory and Practice (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71322-7_6
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)