Application of Lattice Algebra to Loop Optimization.

Amelia C. Fong, John B. Kam, Jeffrey D. Ullman

Browse the full POPL paper archive.