An e#cient hybrid algorithm for incremental data flow analysis (1990)

by T J Marlowe, B G Ryder
Venue:In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages