New Generation Computing, 20(2002)3-26
Ohmsha, Ltd. and Springer-Verlag

The Narrowing-driven Approach to Functional Logic Program Specialization

Elvira ALBERT and Germán VIDAL
DSIC, Universidad Politécnica de Valencia
Camino de Vera s/n, E-46022 Valencia, Spain
{ealbert,gvidal}@dsic.upv.es

Received 1 June 2001
Revised manuscript received 23 July 2001

Abstract

Partial evaluation is a semantics-based program optimization technique which has been investigated within different programming paradigms and applied to a wide variety of languages. Recently, a partial evaluation framework for functional logic programs has been proposed. In this framework, narrowing -- the standard operational semantics of integrated languages -- is used to drive the partial evaluation process. This paper surveys the essentials of narrowing-driven partial evaluation.

Keywords: Program Optimization, Partial Evaluation, Narrowing.

[Back]