A unified approach to global program optimization (1973)

by G A Kildall
Venue:In Conference Record of the 1st ACM Symposium on Principles of Programming Languages (POPL ’73