Tutorial on Online Partial Evaluation
Programming Languages
2011-09-06 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1109.0781,
title = {Tutorial on Online Partial Evaluation},
author = {William R. Cook and Ralf Lämmel},
journal= {arXiv preprint arXiv:1109.0781},
year = {2011}
}
Comments
In Proceedings DSL 2011, arXiv:1109.0323