A precise interprocedural data flow algorithm (1981)

by E Myers
Venue:In Proceedings of the ACM 8th Symposium on Principles of Programming Languages