A Lightweight Approach to Program Specialization

Claudio Ochoa, Josep Silva, and Germán Vidal

IV Jornadas de Programación y Lenguajes (PROLE 2004), Málaga (Spain).

Within the imperative programming paradigm, program slicing has been widely used as a basis to solve many software engineering problems, like debugging, testing, differencing, specialization, and merging. In this work, we present a lightweight approach to program specialization of lazy functional logic programs which is based on dynamic slicing. The kind of specialization performed by our approach cannot be achieved with other related techniques like partial evaluation.

Available: PDF BibTeX-Entry

Germán Vidal