Interprocedural Constant Propagation: A Study of Jump Function Implementations. - Dan Grove; Linda Torczon (PLDI, 1993)