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

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