B. Ryder and M. Paull. Incremental data flow analysis algorithms. ACM Transactions on Programming Languages and Systems, 10(1) 1-50, January 1988.
author author author author author title title title title title journal journal journal journal journal journal journal volume pages date date