Constraint-Based Inter-Procedural Analysis of Parallel Programs

Helmut Seidl, Bernhard Steffen. Constraint-Based Inter-Procedural Analysis of Parallel Programs. Nord. J. Comput., 7(4):375, 2000.

Abstract

Abstract is missing.