An efficient hybrid algorithm for incremental data flow analysis (1990)

by T Marlowe, B Ryder
Venue:POPL ’90