Automatic Generation of Provably Correct Parallelizing Compilers. - Gopal Gupta 001; Enrico Pontelli; Amado Lara-Rodríguez; Roberto Felix-Cardenas (ICPP, 1998)