Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 49-53, ACM Press, 2005.
Narrowing-driven partial evaluation is a powerful technique for the specialization of functional logic programs. In this paper, we describe the implementation of a narrowing-driven partial evaluator for Curry programs which follows the offline approach to ensuring termination. Although the new partial evaluator is less precise than previous (online) partial evaluators for Curry, it is much faster and, thus, allows the specialization of larger programs.
Available: PDF / BibTeX entry