| | |
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
|
