A unified approach to global program analysis (1973)

by G Kildall
Venue:In First ACM Symposium on Principles of Programming Languages