Nonlinear Symbolic Analysis for Advanced Program Parallelization | IEEE Journals & Magazine | IEEE Xplore