G. Ramalingam, Raghavan Komondoor, et al.
ICSE 2006
Paper
On loops, dominators, and dominance frontier
Abstract
No abstract available.
Related
Conference paper
Data flow frequency analysis
G. Ramalingam
PLDI 1996
G. Ramalingam
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conference paper
Effective typestate verification in the presence of aliasing
Stephen Fink, Eran Yahav, et al.
ISSTA 2006