Precise interprocedural dataflow analysis via graph reachability (1995)

by T leps, S ttorwitz, M Sagiv
Venue:In POPL PS: Principles of Progr~i~9 L~gu~ges