G. Ramalingam, Junehwa Song, et al.
Algorithmica (New York)
Paper
On loops, dominators, and dominance frontier
Related
G. Ramalingam
ACM TOPLAS
Conference paper
Effective typestate verification in the presence of aliasing
Stephen Fink, Eran Yahav, et al.
ISSTA 2006
Leon Moonen, G. Ramalingam, et al.
Dagstuhl Seminar Proceedings 2006