The semantics of scheme control-flow analysis (1991)

by O Shivers
Venue:In Proc. Symp. on Partial Evaluation and Semantics-Based Program Manipulation (PEPM