Aliasing control with view-based typestate

Filipe Militao ,Universidade Nova de Lisboa / Carnegie Mellon University, Portugal / USA

(Joint work with Jonathan Aldrich and Luis Caires)

We present an abstraction - views - that merges aliasing and (type)state control in an object-oriented language. These views can be split, merged and recombined to more flexibly model the permissions a client has to an object. We show examples of disjoint permissions and some ongoing research on handling shared interference.