Symbolic Analysis For Parallelizing Compilers by Mohammad R. Haghighat