Full text
![]() |
PDF
- Users in campus UPM only
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) |
Deransart, Pierre and Hermenegildo, Manuel V. and Maluszynski, Jan (2000). Debugging of constraint programs: The DiSCiPl methodology and tools. In: "Analysis and Visualization Tools for Constraint Programming". Lecture Notes in Computer Science (1870). Springer Berlin Heidelberg, pp. 1-20. ISBN 9783540411376. https://doi.org/10.1007/10722311_1.
Title: | Debugging of constraint programs: The DiSCiPl methodology and tools |
---|---|
Author/s: |
|
Editor/s: |
|
Item Type: | Book Section |
Title of Book: | Analysis and Visualization Tools for Constraint Programming |
Date: | September 2000 |
ISBN: | 9783540411376 |
Subjects: | |
Faculty: | Facultad de Informática (UPM) |
Department: | Inteligencia Artificial |
Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
![]() |
PDF
- Users in campus UPM only
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) |
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.
Item ID: | 14570 |
---|---|
DC Identifier: | https://oa.upm.es/14570/ |
OAI Identifier: | oai:oa.upm.es:14570 |
DOI: | 10.1007/10722311_1 |
Official URL: | http://link.springer.com/chapter/10.1007/10722311_... |
Deposited by: | Biblioteca Facultad de Informatica |
Deposited on: | 28 Feb 2013 14:32 |
Last Modified: | 22 Sep 2014 11:04 |