Aliasing control with view-based typestate

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 ◽

10.1145/1924520.1924527 ◽

2010 ◽

Author(s):

Filipe Militão ◽

Jonathan Aldrich ◽

Luís Caires

Download Full-text