Elimination algorithms for data flow analysis. (1986)

by Barbara G Ryder, Marvin C Paull
Venue:ACM Computing Surveys,