Optimizing Sisal Programs: A Formal Approach.

Isabelle Attali, Denis Caromel, Romain Guider, Andrew L. Wendelborn

Browse the full EuroPar paper archive.