Semantic analysis for automatic parallelization of symbolic programs (1990)

by Williams Ludwell Harrison