Summary: JavaD: Bringing Ownership Domains to
Marwan Abi-Antoun Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
This work was supported in part by NASA cooperative agreements NCC-2-1298 and NNA05CS30A,
NSF grant CCR-0204047, a 2004 IBM Eclipse Innovation Grant, the Army Research Office grant number
DAAD19-02-1-0389 entitled "Perpetually Available and Secure Information Systems".
Ownership types have been receiving much attention from the research community. However,
few of the proposed designs have been implemented or evaluated on real object-oriented
implementations. AliasJava has been available for a few years and has been applied on
several case studies.
Currently, AliasJava is implemented as a non-backwards compatible extension of the Java
programming language. As a result, none of the tool support for Java (from debugging
and refactoring to syntax highlighting) is available for AliasJava programs, making it harder
to justify the case that Java programs are easier to evolve with AliasJava annotations than