Generalized Typestate Checking for Data Structure Consistency
Abstract elided by the publisher.
Related papers
- The Chemical Approach to Typestate-Oriented Programming TOPLAS 2017
- The chemical approach to typestate-oriented programming OOPSLA 2015
- Accumulation Analysis ECOOP 2022
- Typestate Checking of Machine Code ESOP 2001
- Typestate-based semantic code search over partial programs OOPSLA 2012
- Modular typestate checking of aliased objects OOPSLA 2007
- Foundations of Typestate-Oriented Programming TOPLAS 2014
- Behavioural Up/down Casting For Statically Typed Languages ECOOP 2024