Elimination algorithms for data flow analysis (1986)

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