Compile-time execution structure of object-oriented programs with practical ownership domain annotations

Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make the ownership domains type system more expressive. Second, ownership domain annotations enable obtaining, at compile time, the execution structure of an annotated program. The execution structure is sound, hierarchical and scales to large programs. It also conveys more design intent that existing compile-time approaches that do not rely on ownership annotations. Finally, tools will infer these annotations semi-automatically at compile time, once a developer provides the design intent. Categories and Subject Descriptors D.3.3 [Programming Languages]: Language Constructs and Features—Patterns General Terms Design, Documentation, Experimentation Keywords ownership types, ownership domains, execution structure, runtime structure, dynamic structure

• Type: Conference
• Year: 2007
• Where: OOPSLA
• Authors: Marwan Abi-Antoun
• Keywords: Execution Structure, OOPSLA 2007, Ownership Domain Annotations, Ownership Domains