An efficient general iterative algorithm for dataflow analysis (1987)

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