Typestates for Objects
No abstract available.
DOI 10.1007/978-3-540-24851-4_21
Related papers
- Modular typestate checking of aliased objects OOPSLA 2007
- Foundations of Typestate-Oriented Programming TOPLAS 2014
- The Chemical Approach to Typestate-Oriented Programming TOPLAS 2017
- The chemical approach to typestate-oriented programming OOPSLA 2015
- Typestate-like analysis of multiple interacting objects OOPSLA 2008
- Deriving object typestates in the presence of inter-object references OOPSLA 2005
- Verifying correct usage of atomic blocks and typestate OOPSLA 2008
- Permchecker: a toolchain for debugging memory managers with typestate OOPSLA 2021