Infering Ownership Types for Encapsulated Object-Oriented Program Components

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

• Ownership types for object encapsulation
• Tunable static inference for generic universe types
• Static Analysis
• Ownership confinement ensures representation independence for object-oriented programs
• Gradual ownership types

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

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)