Publications

CONSTANT PROPAGATION WITH CONDITIONAL BRANCHES.

• • Mark N. Wegman
  • F. Kenneth Zadeck
• 1985
• POPL 1985