Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
Authors: Gyöngyi Szilágyi, Tibor Gyimóthy and Jan Maluszynski
Article title: Slicing of Constraint Logic Programs
Publ. type: Article
Volume: 3
Article No: 20
Language: English
Abstract [en]:

Slicing is a program analysis technique originally developed for imperative languages. This paper discusses slicing of CLP programs. As data flow in such programs is not explicit, the slicing problem requires a specific formulation and specific techniques.
   The paper gives a precise definition of the slicing problem for CLP and presents a simple slicing method based on variable sharing and groundness analysis. Our approach is based on three declarative notions of slice: (1) for a set of constraints (2) for a derivation tree of a CLP program, and (3) for a CLP program. The first of them is a basic one, expressed in terms of logic and used to define the remaining ones. A derivation tree of a CLP program characterizes a state of the computation of a CLP program in terms of the associated set of constraints. We use the notion of slice of a set of constraints to introduce the notion of slice of a derivation tree. A derivation tree is constructed from instances of program clauses. We define the notion of slice of a program in terms of slices of its derivation trees.
   With these definitions we obtain clear links between all three concepts of a slice. They make it possible to derive slicing techniques for derivation trees and CLP programs by refining some straightforward syntactic conditions which can be easily checked. The declarative formulation of the slicing problem leaves space for possible improvements and gives a clear reference basis for proving the correctness of the proposed slicing methods.

Publisher: Linköping University Electronic Press
Year: 1998
Available: 1997-12-19, 1st Revised 1998-03-28, 2nd Revised 1998-07-29
No. of pages: 21, 1st and 2nd Revised 19
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841

Responsible for this page: Peter Berkesand
Last updated: 2017-02-21