| | |
Summary: International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) 2007
Ownership Domains in the Real World
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
The Ownership Domains type system has had publicly available
tool support for a few years. However, the previous implementation
used non-backwards compatible language extensions to Java and
ran on a research infrastructure, which made it difficult to conduct
substantial case studies on interesting systems.
We first present a re-implementation of ownership domains us-
ing Java 1.5 annotations and the Eclipse infrastructure. We then use
the improved tool to annotate two real 15,000-line Java programs
while using refactoring tool support, generics and external libraries.
|
