Tool support for the compile-time execution structure of object-oriented programs with ownership annotations

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.

BibTeX

@inproceedings{AbiAntoun-Aldrich:ASE07,
  author    = {Marwan Abi{-}Antoun and
               Jonathan Aldrich},
  title     = {Tool support for the compile-time execution structure of object-oriented programs with ownership annotations},
  booktitle = {ASE},
  pages     = {543--544},
  publisher = {{ACM}},
  year      = {2007},
}

Tool support for the compile-time execution structure of object-oriented programs with ownership annotations

Abstract

Related papers