conference paper

Generalized Typestate Checking for Data Structure Consistency

Lam, Patrick
•
Kuncak, Viktor  orcid-logo
•
Rinard, Martin
2005
Verification, Model Checking and Abstract Interpretation