A formal approach to parallelizing compilers.

Eric Van Wyk and Teodor Rus,

Proceedings of SIAM Conference on Parallel Processing for Scientific Computation, 1997.

PDF