TY - RPRT TI - Loop Quasi-Invariant Chunk Motion by peeling with statement composition AU - Jean-Yves Moyen AU - Thomas Rubiano AU - Thomas Seiller PY - 2017 DO - 10.4204/eptcs.248.9 UR - https://arxiv.org/abs/1704.05589 ID - 1704.05589 ER -