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

by Helmut Seidl , Bernhard Steffen , Fb Iv Informatik
Citations:24 - 6 self