Precise interprocedural dataflow analysis via graph reachability (1995)

by T Reps, S Horwitz, M Sagiv
Venue:In Conference Record of POPL’95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages