Nesting of Reducible and Irreducible Loops (1997)

by P HAVLAK
Venue:ACM Trans. on Programming Languages and Systems