Tutorial on Online Partial Evaluation

5 Sep 2011 · William R. Cook, 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.

PDF Abstract

Code

Add Remove Mark official

antoinelanco/OnlinePartialEvaluation

Datasets

Add Datasets introduced or used in this paper

Edit Social Preview

Tutorial on Online Partial Evaluation

Code Edit Add Remove Mark official

Categories

Datasets Edit

Code

Add Remove Mark official

Datasets