TY - BOOK
DB - /z-wcorg/
DP - http://worldcat.org
ID - 227494654
LA - English
T1 - A Fast Algorithm for finding Dominators in a Flow Graph.
AU - Lengauer, Thomas.
AU - Tarjan, Robert Endre.
AU - STANFORD UNIV CALIF Dept. of COMPUTER SCIENCE.
PB - Defense Technical Information Center
CY - Ft. Belvoir
Y1 - 1978///
AB - This paper presents a fast algorithm for finding dominators in a flow graph. The algorithm uses depth-first search and an efficient method of computing functions defined on paths in trees. A simple implementation of the algorithm runs in O(m log n) time, where m is the number of edges and n is the number of vertices in the problem graph. A sophisticated implementation runs in O(M alpha (m, n)) time, where alpha(m, n) is a functional inverse of Ackermann's function. Both versions of the algorithm were implemented in Algol W, and tested on an IBM 370/168. The programs were compared with an implementation by Purdom and Moore of a straightforward O(mn) - time algorithm, and with a bit vector algorithm. The fast algorithm beat the straightforward algorithm and the bit vector algorithm on all but the smallest graphs tests.
ER -