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]

@inproceedings{AldrichSSS09,
  title = {Typestate-oriented programming},
  author = {Jonathan Aldrich and Joshua Sunshine and Darpan Saini and Zachary Sparks},
  year = {2009},
  doi = {10.1145/1639950.1640073},
  url = {http://doi.acm.org/10.1145/1639950.1640073},
  tags = {object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/AldrichSSS09},
  cites = {0},
  citedby = {0},
  pages = {1015-1022},
  booktitle = {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},
  editor = {Shail Arora and Gary T. Leavens},
  publisher = {ACM},
  isbn = {978-1-60558-768-4},
}