Frank Tip, Jong-Deok Choi, et al.
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Paper
On loops, dominators, and dominance frontier
Abstract
No abstract available.
Related
Conference paper
Effective typestate verification in the presence of aliasing
Stephen Fink, Eran Yahav, et al.
ISSTA 2006
Conference paper
Parametric program slicing
J. Field, G. Ramalingam
POPL 1995
Conference paper
Identifying Procedural Structure in Cobol Programs
John Field, G. Ramalingam
PASTE 1999