Data flow update via dominator and attribute updates (1988)

by Carroll