Generalized Typestate Checking Using Set Interfaces and Pluggable Analyses

Lam, PatrickKuncak, ViktorRinard, Martin2007-08-212007-08-212007-08-21200410.1145/981009.981016https://infoscience.epfl.ch/handle/20.500.14299/10380Generalized Typestate Checking Using Set Interfaces and Pluggable Analysestext::journal::journal article::research article