An Efficient Hybrid Algorithm for Incremental Data Flow Analysis.

Thomas J. Marlowe, Barbara G. Ryder

Browse the full POPL paper archive.