Uwe Meyer Techniques for Partial Evaluation of Imperative Languages. 94-105 1991 PEPM db/conf/pepm/pepm91.html#Meyer91