@Inproceedings{EPTCS248.9, author = {Moyen, Jean-Yves and Rubiano, Thomas and Seiller, Thomas}, year = {2017}, title = {Loop Quasi-Invariant Chunk Motion by peeling with statement composition}, editor = {Bonfante, Guillaume and Moser, Georg}, booktitle = {{\rm Proceedings 8th Workshop on} Developments in Implicit Computational complExity {\rm and 5th Workshop on} FOundational and Practical Aspects of Resource Analysis, {\rm Uppsala, Sweden, April 22-23, 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {248}, publisher = {Open Publishing Association}, pages = {47-59}, doi = {10.4204/EPTCS.248.9}, }