Shmuel Sagiv Thomas W. Reps Susan Horwitz Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. 131-170 1996 167 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs167.html#SagivRH96 http://dx.doi.org/10.1016/0304-3975(96)00072-2