Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Tool Support for the Compile-Time Execution Structure of Object-Oriented Programs with Ownership Annotations
 

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

  

Source: Abi-Antoun, Marwan - Department of Computer Science, Wayne State University

 

Collections: Computer Technologies and Information Sciences