Generalized Typestate Checking for Data Structure Consistency.

Patrick Lam, Viktor Kuncak, Martin C. Rinard

Browse the full VMCAI paper archive.