| | |
Summary: Forward Slicing of Multi-Paradigm Declarative
Programs Based on Partial Evaluation ?
German Vidal
DSIC, Technical University of Valencia
Camino de Vera s/n, E-46022 Valencia, Spain
gvidal@dsic.upv.es
Abstract. Program slicing has been mainly studied in the context of
imperative languages, where it has been applied to many software en-
gineering tasks, like program understanding, maintenance, debugging,
testing, code reuse, etc. This paper introduces the rst forward slic-
ing technique for multi-paradigm declarative programs. In particular, we
show how program slicing can be de ned in terms of online partial eval-
uation. Our approach clari es the relation between both methodologies
and provides a simple way to develop program slicing tools from existing
partial evaluators.
1 Introduction
Essentially, program slicing [34] is a method for decomposing programs by ana-
lyzing their data and control
ow. It has many applications in the eld of soft-
ware engineering (e.g., program understanding, maintenance, debugging, merg-
ing, testing, code reuse, etc). This concept was originally introduced by Weiser
|
