Incremental data flow update via attribute and dominator updates (0)

by M Carroll, B Ryder
Venue:in Conference Record of the Fifteenth ACM Symposium on Principles of Programming Languages