Debugging of constraint programs: The DiSCiPl methodology and tools

Deransart, Pierre; Hermenegildo, Manuel V. y Maluszynski, Jan (2000). Debugging of constraint programs: The DiSCiPl methodology and tools. En: "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.

Descripción

Título: Debugging of constraint programs: The DiSCiPl methodology and tools
Autor/es:
  • Deransart, Pierre
  • Hermenegildo, Manuel V.
  • Maluszynski, Jan
Editor/es:
  • Deransart, Pierre
  • Hermenegildo Salinas, Manuel Vicente
  • Małuszynski, Jan
Tipo de Documento: Sección de Libro
Título del Libro: Analysis and Visualization Tools for Constraint Programming
Fecha: Septiembre 2000
ISBN: 9783540411376
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img] PDF (Document Portable Format) - Acceso permitido solamente a usuarios en el campus de la UPM - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB)

Resumen

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.

Más información

ID de Registro: 14570
Identificador DC: http://oa.upm.es/14570/
Identificador OAI: oai:oa.upm.es:14570
Identificador DOI: 10.1007/10722311_1
URL Oficial: http://link.springer.com/chapter/10.1007/10722311_1
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 28 Feb 2013 14:32
Ultima Modificación: 22 Sep 2014 11:04
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM