Incremental data flow analysis via dominator and attribute update (1988)

by M D Carroll, B G Ryder
Venue:In POPL ’88