Polyhedral compilation encompasses the compilation techniqu…

Polyhedral compilation encompasses the compilation techniques that rely on the representation of programs and that exploit combinatorial/geometrical optimizations on these objects to analyze/optimize the programs.