Sciweavers

OOPSLA
2007
Springer
13 years 10 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 ...
Marwan Abi-Antoun
KBSE
2007
IEEE
13 years 10 months ago
Tool support for the compile-time execution structure of object-oriented programs with ownership annotations
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...
Marwan Abi-Antoun, Jonathan Aldrich