Trends in Specialization of Interpreters using Offline Narrowing-Driven Partial Evaluation.

The search of compilation by specialization of interpreters is a source to source program transformation which has inspired the work of scientists in partial evaluation from many years ago. Narrowing-driven Partial Evaluation (NPE) is a powerful technique for the specialization of functional logic programs. Recent advances in research of offline NPE schemes allow us to develop partial evaluators that process bigger programas. In this work we introduce the stages of a novel pure offline partial evaluator developed in the functional logic language Curry which is able to specialize FlatCurry (the intermediate representation of Curry) programs. In particular, we describe the first experiments in the specialization of interpreters. Our partial evaluator specializes more realistic programs than previous versions since it allows the processing of programs including built-ins and constraints.