Debugging of constraint programs: The DiSCiPl methodology and tools

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.

Description

Title: Debugging of constraint programs: The DiSCiPl methodology and tools
Author/s:
  • Deransart, Pierre
  • Hermenegildo, Manuel V.
  • Maluszynski, Jan
Editor/s:
  • Deransart, Pierre
  • Hermenegildo Salinas, Manuel Vicente
  • Małuszynski, Jan
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

Full text

[thumbnail of HERME_ARTINBOOKS_2000-4.pdf] PDF - Users in campus UPM only - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB)

Abstract

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.

More information

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
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM