Foundations of Typestate-Oriented Programming

Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich. Foundations of Typestate-Oriented Programming. ACM Transactions on Programming Languages and Systems, 36(4):12, 2014. [doi]

Authors

Ronald Garcia

This author has not been identified. It may be one of the following persons: Look up 'Ronald Garcia' in Google

Éric Tanter

This author has not been identified. It may be one of the following persons: Look up 'Éric Tanter' in Google

Roger Wolff

This author has not been identified. Look up 'Roger Wolff' in Google

Jonathan Aldrich

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