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. 46-55 2004 39 SIGPLAN Notices 3 http://doi.acm.org/10.1145/981009.981016 db/journals/sigplan/sigplan39.html#LamKR04