@inproceedings{Seidl00ConstraintA, author = {Helmut Seidl and Bernhard Steffen}, title = {Constraint-{B}ased {I}nter-{P}rocedural {A}nalysis of {P}arallel {P}rograms}, booktitle = {Programming Languages and Systems}, editor = {Gert Smolka}, month = {March}, year = 2000, pages = {351-365}, series = {Lecture Notes in Computer Science}, volume = {1782}, publisher = {Springer}, address = {Berlin, Germany}, }