Global optimization by suppression of partial redundancies (1979)

by E Morel, C Renvoise
Venue:Communications of the ACM