Pierre Boulet Paul Feautrier Scanning Polyhedra without Do-loops. 4-11 1998 IEEE PACT http://computer.org/proceedings/pact/8591/85910004abs.htm db/conf/IEEEpact/IEEEpact1998.html#BouletF98