Techniques for Partial Evaluation of Imperative Languages

Uwe Meyer. Techniques for Partial Evaluation of Imperative Languages. In PEPM. pages 94-105, 1991.