Symbolic analysis for parallelizing compilers (1996)

by M R Haghighat, C D Polychronopoulos
Venue:ACM Transactions on Programming Languages and Systems