Automatic Generation and Management of Interprocedural Program Analyses (1993)

by K Yi, W Harrison
Venue:In Proceedings of the Twnetieth Annual ACM Symposium on Principles of Programming Languages