The Narrowing-Driven Approach to Functional Logic Program Specialization

Elvira Albert and Germán Vidal

© Ohmsha,Ltd.
New Generation Computing, 20(1):3-26, 2002

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.

Available: PDF (preliminary version) BibTeX-Entry

Germán Vidal