Incremental Data Flow Analysis via Dominator and Attribute Update (1988)

by M Carroll, B Ryder
Venue:in Proc. 15th ACM SIGACT–SIGPLAN Symposium on Principles of Programming Languages