| | |
Summary: Bringing Ownership Domains to Mainstream Java
Marwan Abi-Antoun
Carnegie Mellon University,
5000 Forbes Avenue,
Pittsburgh, PA 15213
marwan.abi-antoun@cs.cmu.edu
Jonathan Aldrich
Carnegie Mellon University,
5000 Forbes Avenue,
Pittsburgh, PA 15213
jonathan.aldrich@cs.cmu.edu
Abstract
AliasJava is a type annotation system that extends Java to express
how data is confined within, passed among, or shared between
objects in a software system. We present an implementation of the
AliasJava system as Java 1.5 annotations and an analysis using the
Eclipse infrastructure.
Categories and Subject Descriptors D.3.3 [Programming Lan-
guages]: Language Constructs and Features
General Terms Languages
|
