Modular typestate checking of aliased objects.

Kevin Bierhoff, Jonathan Aldrich

Browse the full OOPSLA paper archive.