This paper is a short tutorial introduction to online partial
evaluation. We show how to write a simple online partial evaluator
for a simple, pure, first-order, functional programming language. In
particular, we show that the partial evaluator can be derived as a
variation on a compositionally defined interpreter. We demonstrate
the use of the resulting partial evaluator for program optimization
in the context of model-driven development.
Bibtex entry
@misc{CookL11,
author = {William R. Cook and Ralf L{\"a}mmel},
title = "{Tutorial on Online Partial Evaluation}",
year = {2011},
note = "{To appear in proceedings of DSL 2011}"
}