Precise interprocedural dataflow analysis via graph reachability (0)

by T Reps, S Horwitz, M Sagiv
Venue:In POPL’95