An efficient general iterative algorithm for dataflow analysis (1987)

by Susan Horwitz, Alan Demers, Tim Teitelbaum
Venue:Acta Informatica