Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Aliasing control with view-based typestate Filipe Milito1,2
 

Summary: Aliasing control with view-based typestate
Filipe Militão1,2
filipe.militao@cs.cmu.edu
Jonathan Aldrich1
jonathan.aldrich@cs.cmu.edu
Luís Caires2
luis.caires@di.fct.unl.pt
1
Carnegie Mellon University 2
CITI / Dep. de Inform´atica
Univ. Nova de Lisboa, Portugal
ABSTRACT
Tracking the state of an object (in the sense of how a File
can be in an Open or Closed state) is difficult not just be-
cause of the problem of managing state transitions but also
due to the complexity introduced by aliasing. Unchecked
duplication of object references makes local reasoning im-
possible by allowing situations where transitions can be trig-
gered unexpectedly (for instance, passing aliased parameters
to a method that expects unaliased parameters, or calling a

  

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

 

Collections: Computer Technologies and Information Sciences