Dan Grove Linda Torczon Interprocedural Constant Propagation: A Study of Jump Function Implementations. 90-99 1993 PLDI db/conf/pldi/pldi93.html#GroveT93