Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Alias Annotations for Program Understanding Jonathan Aldrich Valentin Kostadinov Craig Chambers
 

Summary: Alias Annotations for Program Understanding
Jonathan Aldrich Valentin Kostadinov Craig Chambers
Department of Computer Science and Engineering
University of Washington
Box 352350
Seattle, WA 98195-2350 USA
+1 206 616-1846
{jonal, valmk, chambers}@cs.washington.edu
Abstract
One of the primary challenges in building and evolving large
object-oriented systems is understanding aliasing between objects.
Unexpected aliasing can lead to broken invariants, mistaken
assumptions, security holes, and surprising side effects, all of
which may lead to software defects and complicate software
evolution.
This paper presents AliasJava, a capability-based alias annotation
system for Java that makes alias patterns explicit in the source
code, enabling developers to reason more effectively about the
interactions in a complex system. We describe our
implementation, prove the soundness of the annotation system,

  

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

 

Collections: Computer Technologies and Information Sciences