Graph theoretic constructs for program control flow analysis (1972)

by F E Allen, J Cocke
Venue:Thomas J. Watson Research