Constant Propagation with Conditional Branches

Mark N. Wegman, F. Kenneth Zadeck. Constant Propagation with Conditional Branches. In POPL. pages 291-299, 1985.

Abstract

Abstract is missing.