Program Specialization Based on Dynamic Slicing

Claudio Ochoa, Josep Silva, Germán Vidal

Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004), Verona (Italy), pp. 20-31, 2004.

Within the imperative programming paradigm, program slicing has been widely used as a basis to solve many software engineering problems, like program understanding, debugging, testing, differencing, specialization, and merging. In this work, we present a lightweight approach to program slicing in lazy functional logic languages and discuss its potential applications in the context of pervasive systems where resources are limited. In particular, we show how program slicing can be used to achieve a form of program specialization that cannot be achieved with other, related techniques like partial evaluation.

Available: PDF BibTeX-Entry

Germán Vidal