Automatic Generation and Management of Interprocedural Program Analyses (1993)

by Kwangkeun Yi, Williams Ludwell Harrison
Venue:In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages