Data flow analysis and incremental iteration," Ph.D. dissertation and (1989)

by T J Marlowe