CONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.Mark N. WegmanF. Kenneth Zadeck1985POPL 1985Conference paper