Sciweavers

Share
OOPSLA
2007
Springer

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

9 years 1 months ago
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
Marwan Abi-Antoun
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where OOPSLA
Authors Marwan Abi-Antoun
Comments (0)
books