An interprocedural data flow analysis algorithm (1977)

by Jeffrey M Barth
Venue:In ACM Symposium on Principles of Programming Languages