Patrick Lam, Viktor Kuncak, Martin C. Rinard. Generalized typestate checking using set interfaces and pluggable analyses. SIGPLAN Notices, 39(3):46-55, 2004. [doi]
@article{LamKR04,
title = {Generalized typestate checking using set interfaces and pluggable analyses},
author = {Patrick Lam and Viktor Kuncak and Martin C. Rinard},
year = {2004},
doi = {10.1145/981009.981016},
url = {http://doi.acm.org/10.1145/981009.981016},
tags = {C++},
researchr = {https://researchr.org/publication/LamKR04},
cites = {0},
citedby = {0},
journal = {SIGPLAN Notices},
volume = {39},
number = {3},
pages = {46-55},
}