@article{Seidl00Interprocedural, author = {Helmut Seidl and Christian Fecht}, title = {Interprocedural {A}nalyses: {A} {C}omparison}, journal = {J. Log. Program.}, year = 2000, pages = {123-156}, volume = {43}, number = {2}, }