Constraint-Based Inter-Procedural Analysis of Parallel Programs (0)

by H Seidl, B Steffen
Venue:Nordic Journal of Computing (NJC