Work

Tutorial on Online Partial Evaluation

Year: 2011

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.66.8

Authors: William R. Cook, Ralf Lämmel

Institutions: The University of Texas at Austin, University of Koblenz and Landau

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2046701033

FWCI: 0.294

Cites: 11

Cited by: 10

Related to: 10