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