liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Static and Dynamic Slicing of Constraint Logic Programs
Hungarian Academy of Sciences.
Hungarian Academy of Sciences.
Linköping University, Department of Computer and Information Science, TCSLAB - Theoretical Computer Science Laboratory. Linköping University, The Institute of Technology.
2002 (English)In: Automated Software Engineering: An International Journal, ISSN 0928-8910, E-ISSN 1573-7535, Vol. 9, no 1, 41-65 p.Article in journal (Refereed) Published
Abstract [en]

Slicing is a program analysis technique originally developed for imperative languages. It facilitates understanding of data flow and debugging.

This paper discusses slicing of Constraint Logic Programs. Constraint Logic Programming (CLP) is an emerging software technology with a growing number of applications. Data flow in constraint programs is not explicit, and for this reason the concepts of slice and the slicing techniques of imperative languages are not directly applicable.

This paper formulates declarative notions of slice suitable for CLP. They provide a basis for defining slicing techniques (both dynamic and static) based on variable sharing. The techniques are further extended by using groundness information.

A prototype dynamic slicer of CLP programs implementing the presented ideas is briefly described together with the results of some slicing experiments.

Place, publisher, year, edition, pages
2002. Vol. 9, no 1, 41-65 p.
Keyword [en]
Logic Programming (LP) - Constraint Logic Programming (CLP) - program analysis - debugging - slicing
National Category
Engineering and Technology
URN: urn:nbn:se:liu:diva-61033DOI: 10.1023/A:1013280119003OAI: diva2:360347
Available from: 2010-11-03 Created: 2010-11-03 Last updated: 2010-12-10

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Maluszynski, Jan
By organisation
TCSLAB - Theoretical Computer Science LaboratoryThe Institute of Technology
In the same journal
Automated Software Engineering: An International Journal
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 18 hits
ReferencesLink to record
Permanent link

Direct link