An Efficient General Iterative Algorithm for Dataflow Analysis (1987)

by S Horwitz, A J Demers, T Teitelbaum
Venue:Acta Informatica