| | |
Summary: Tool Support for the Compile-Time Execution Structure of
Object-Oriented Programs with Ownership Annotations
Marwan Abi-Antoun
School of Computer Science
Carnegie Mellon University
marwan.abi-antoun@cs.cmu.edu
Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
jonathan.aldrich@cs.cmu.edu
ABSTRACT
Ownership domain annotations enable obtaining at compile-
time the system's execution structure from the annotated
program. The execution structure is sound, hierarchical
(and thus more scalable) and conveys more design intent
than flat object graphs obtained by existing static analyses
that do not rely on annotations.
Categories and Subject Descriptors: D.2.2 [Design Tools
and Techniques]: Object-oriented design methods
General Terms: Design, Documentation
|
