Incremental data flow analysis algorithms (1988)

by B G Ryder, M C Paull
Venue:ACM Trans. on Prog. Lang. and Sys