Partial evaluation is a semantics-based program optimiza- tion 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.
展开▼
