Generalized typestate checking using set interfaces and pluggable analyses

Patrick Lam, Viktor Kuncak, Martin C. Rinard. Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Notices, 39(3):46-55, 2004. [doi]

Abstract

Abstract is missing.