A theory of typestate-oriented programming

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

10.1145/1924520.1924529 ◽

2010 ◽

Author(s):

Darpan Saini ◽

Joshua Sunshine ◽

Jonathan Aldrich

Download Full-text