Tutorial on Online Partial Evaluation

To appear in proceedings of DSL 2011

William R. Cook and Ralf Lämmel

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
  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}"

Downloads and links