In a word, polyhedral techniques are the symbolic counterpa…

In a word, polyhedral techniques are the symbolic counterpart, for structured loops (but without unrolling them), of compilation techniques designed for acyclic control-flow graphs or unstructured loops.