HARVEY TIMOTHY JOHN

Linear-time algorithm to determine the maximum number of iterations of the iterative algorithm for data-flow analysis for reducible loops