Compositional approach applied to loop specialization.

Lamia Djoudi Jean-Thomas Acquaviva Denis Barthou Compositional approach applied to loop specialization. 71-84 2009 21 Concurrency and Computation: Practice and Experience 1 http://dx.doi.org/10.1002/cpe.1337 db/journals/concurrency/concurrency21.html#DjoudiAB09