Control Flow Analysis of Higher Order Languages (1991)

by O Shivers
Venue:Carnegie Mellon University