Sökning: L773:0928 8910 OR L773:1573 7535
> (2002-2004) >
Static and Dynamic ...
Static and Dynamic Slicing of Constraint Logic Programs
-
- Szilagyi, G. (författare)
- Hungarian Academy of Sciences
-
- Gyimothy, T. (författare)
- Hungarian Academy of Sciences
-
- Maluszynski, Jan (författare)
- Linköpings universitet,TCSLAB - Laboratoriet för teoretisk datalogi,Tekniska högskolan
-
(creator_code:org_t)
- 2002
- 2002
- Engelska.
-
Ingår i: Automated Software Engineering. - 0928-8910 .- 1573-7535. ; 9:1, s. 41-65
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Nyckelord
- Logic Programming (LP) - Constraint Logic Programming (CLP) - program analysis - debugging - slicing
- TECHNOLOGY
- TEKNIKVETENSKAP
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas