Efficient symbolic analysis for parallelizing compilers and performance estimators
scientific article; zbMATH DE number 1204412