Inproceedings,

A theory of typestate-oriented programming.

, , and .
FTfJP@ECOOP, page 9:1-9:7. ACM, (2010)

Meta data

Tags

Users

  • @dblp

Comments and Reviews