Francisco Corbera Rafael Asenjo Emilio L. Zapata New Shape Analysis and Interprocedural Techniques for Automatic Parallelization of C Codes. 37-63 2002 30 International Journal of Parallel Programming 1 db/journals/ijpp/ijpp30.html#CorberaAZ02