Aliasing control with view-based typestate.

Filipe Milito, Jonathan Aldrich, Lus Caires

Browse the full ECOOP paper archive.