Flow-Sensitive Interprocedural Constant Propagation.

Paul R. Carini, Michael Hind

Browse the full PLDI paper archive.