G. Ramalingam, Junehwa Song, et al.
Algorithmica (New York)
Paper
On loops, dominators, and dominance frontier
Abstract
No abstract available.
Related
J. Field, D. Goyal, et al.
Science of Computer Programming
Frank Tip, Jong-Deok Choi, et al.
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Conference paper
Dependent types for program understanding
Raghavan Komondoor, G. Ramalingam, et al.
TACAS - ETAPS 2005