TY  - CHAP
TI  - Debugging of constraint programs: The DiSCiPl methodology and tools
ID  - upm14570
T2  - Analysis and Visualization Tools for Constraint Programming
EP  - 20
SP  - 1
UR  - http://link.springer.com/chapter/10.1007/10722311_1
T3  - Lecture Notes in Computer Science
ED  - Deransart, Pierre
ED  - Hermenegildo Salinas, Manuel Vicente
ED  - Ma?uszynski, Jan
AV  - restricted
Y1  - 2000/09//
A1  - Deransart, Pierre
A1  - Hermenegildo, Manuel V.
A1  - Maluszynski, Jan
SN  - 9783540411376
PB  - Springer Berlin Heidelberg
N2  - This introduction gives a general perspective of the debugging methodology and the tools developed in the ESPRIT IV project DiSCiPl Debugging Systems for Constraint Programming. It has been prepared by the editors of this volume by substantial rewriting of the DiSCiPl deliverable CP Debugging Tools [1]. This introduction is organised as follows. Section 1 outlines the DiSCiPl view of debugging, its associated debugging methodology, and motivates the kinds of tools proposed: the assertion based tools, the declarative diagnoser and the visualisation tools. Sections 2 through 4 provide a short presentation of the tools of each kind. Finally, Section 5 presents a summary of the tools developed in the project. This introduction gives only a general view of the DiSCiPl debugging methodology and tools. For details and for specific bibliographic referenees the reader is referred to the subsequent chapters.
ER  -