A precise interprocedural data flow algorithm (1981)

by E M Myers
Venue:In Conference Record of the 8th Annual ACM Symposium on Principles of Programming Languages (POPL