"Precise Interprocedural Dataflow Analysis with Applications to Constant ..."

Shmuel Sagiv, Thomas W. Reps, Susan Horwitz (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics