The semantics of Scheme control-flow analysis (0)

by O Shivers
Venue:In Partial Evaluation and Semantics-Based Program Manipulation. ACM SIGPLAN Notices