M.: Demand Interprocedural Dataflow Analysis (1995)

by S Horwitz, T Reps, Sagiv
Venue:In: Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering, ACM