Typestate Verification: Abstraction Techniques and Complexity Results
Abstract elided by the publisher.
Related papers
- Permchecker: a toolchain for debugging memory managers with typestate OOPSLA 2021
- Law and Order for Typestate with Borrowing OOPSLA 2024
- Probabilistic, modular and scalable inference of typestate specifications PLDI 2011
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks OOPSLA 2024
- IDEal: efficient and precise alias-aware dataflow analysis OOPSLA 2017
- Foundations of Typestate-Oriented Programming TOPLAS 2014
- Typestate-based semantic code search over partial programs OOPSLA 2012
- Deriving object typestates in the presence of inter-object references OOPSLA 2005