Infering Ownership Types for Encapsulated Object-Oriented Program Components

DOI10.1007/978-3-540-71322-7_6MaRDI QIDQ3593071zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

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)