Conference paper
Effective typestate verification in the presence of aliasing
Stephen Fink, Eran Yahav, et al.
ISSTA 2006
Paper
On loops, dominators, and dominance frontier
Related
Conference paper
Slicing class hierarchies in C++
Frank Tip, Jong-Deok Choi, et al.
OOPSLA 1996
Conference paper
Data flow frequency analysis
G. Ramalingam
PLDI 1996
J. Field, D. Goyal, et al.
Science of Computer Programming