Modular typestate checking of aliased objects

Kevin Bierhoff, Jonathan Aldrich. Modular typestate checking of aliased objects. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 301-320, ACM, 2007. [doi]

Authors

Kevin Bierhoff

This author has not been identified. Look up 'Kevin Bierhoff' in Google

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google