Robert Metzger Sean Stroud Interprocedural Constant Propagation: An Empirical Study. 213-232 1993 2 LOPLAS 1-4 db/journals/loplas/loplas2.html#MetzgerS93 http://doi.acm.org/10.1145/176454.176526