Interprocedural Analysis Based on PDAs (1997)

by Helmut Seidl, Christian Fecht