ENUM: A TOOL FOR SCANNING POLYHEDRONS

--------------------------------------------


                     SOFTWARE ANNOUNCEMENT


ENUM: A TOOL FOR SCANNING POLYHEDRONS


--------------------------------------------




Enum is a standalone program written in C which is aimed at solving the
polyhedron scanning problem: given a parameterized polyhedron P in a context C
(P and C are both defined by systems of affine constraints), enum computes a
control structure whose execution enumerates the integer vectors of P for a
given parameter in C. The general form of the control structure is a
conditionnal statement whose body is composed of a loop nest enumerating the
integer vectors of P. The polyhedron scanning problem is well-known in the
field of automatic loop transformation and the compilation of (High
Performance) Fortran DO-loops or systems of affine recurrence equations on
parallel architectures.


For more information: http://www.irisa.fr/pampa/NOUVEAUTES/logiciels.html




------------------------------------------------------
| Marc LE FUR | Tel : +33.99.84.72.05 |
| IRISA | Fax : +33.99.84.71.71 |
| projet PAMPA | E-mail : mlefur@irisa.fr |
| Campus de Beaulieu | http://www.irisa.fr/pampa |
| 35042 Rennes cedex | |
| FRANCE | |
--

Return to the comp.compilers page.
Search the comp.compilers archives again.