Infering Ownership Types for Encapsulated Object-Oriented Program Components

DOI10.1007/978-3-540-71322-7_6zbMath1149.68342OpenAlexW1483640141MaRDI QIDQ3593071

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)

Related Items (1)

A Representation-Independent Behavioral Semantics for Object-Oriented Components

This page was built for publication: Infering Ownership Types for Encapsulated Object-Oriented Program Components