Zadeck. Constant propagation with conditional branches (1991)

by Mark N Wegman, F Kenneth
Venue:TOPLAS