Text this: Symbolic analysis for parallelizing compilers /