CLooG: Loop Generation
The aim of CLooG is to generate a system of loops that visit once and only once the integer points in the union of several -polyhedra. The algorithm is an improved version of a previous effort by Fabien Quilleré (past Inria project Cosi). The code generated by CLooG is compact and quite efficient  . The availability of CLooG on the Web as a free software (http://www.cloog.org ) has been a triggering factor for a recent increase of interest for the polytope model. Observe for instance the recent implementation of a CLooG/VHDL back-end  .