Improving the accuracy of higher-order specialization using control flow analysis (1992)

by E Ruf, D Weise
Venue:In ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Directed Program Manipulation