Incremental Data Flow Analysis via Dominator and Attribute Updates.

Martin D. Carroll, Barbara G. Ryder

Browse the full POPL paper archive.