Typestate-oriented programming

Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks. Typestate-oriented programming. In Shail Arora, Gary T. Leavens, editors, Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. pages 1015-1022, ACM, 2009. [doi]

Authors

Jonathan Aldrich

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

Joshua Sunshine

This author has not been identified. Look up 'Joshua Sunshine' in Google

Darpan Saini

This author has not been identified. Look up 'Darpan Saini' in Google

Zachary Sparks

This author has not been identified. Look up 'Zachary Sparks' in Google