Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Forward Slicing of Multi-Paradigm Declarative Programs Based on Partial Evaluation ?
 

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

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València
Vidal, Germán - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences