Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) 2007 Ownership Domains in the Real World
 

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.

  

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

 

Collections: Computer Technologies and Information Sciences