Incremental data flow analysis algorithms (1988)

by Barbara Ryder, Marvin Paull
Venue:ACM Transactions on Programming Languages and Systems