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

by T J Marlowe, B G Ryder
Venue:In POPL’90