None
EN
PolyComp Tutorial at HiPEAC
[]
polyhedral.info
At HiPEAC 2015, the PolyComp 2015 tutorial will discuss polyhedral compilation without polyhedra. This tutorial follows the tradition of the Omega Project and use a slightly higher-level representation based on integer tuples bounded by quasi-affine constraints, called named Presburger sets. Which basic operations are available on such sets and relations, without going into details on how these operations are implemented.