Gradual Typestate
Abstract elided by the publisher.
Related papers
- Foundations of Typestate-Oriented Programming TOPLAS 2014
- Typestates for Objects ECOOP 2004
- Typestate Checking of Machine Code ESOP 2001
- Generalized Typestate Checking for Data Structure Consistency VMCAI 2005
- Typestate Verification: Abstraction Techniques and Complexity Results SAS 2003
- Probabilistic, modular and scalable inference of typestate specifications PLDI 2011
- Modular typestate checking of aliased objects OOPSLA 2007
- Accumulation Analysis ECOOP 2022