Constant Propagation with Conditional Branches.

Mark N. Wegman, F. Kenneth Zadeck

Browse the full POPL paper archive.