Effectivness of abstract interpretation in automatic parallelization | Publicación