A framework for assertion-based debugging in constraint logic programming

Puebla Sánchez, Alvaro Germán; Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (1998). A framework for assertion-based debugging in constraint logic programming. En: "4th International Conference, CP98", October 26-30, 1998, Pisa, Italy. ISBN 9783540652243.

Descripción

Título: A framework for assertion-based debugging in constraint logic programming
Autor/es:
  • Puebla Sánchez, Alvaro Germán
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 4th International Conference, CP98
Fechas del Evento: October 26-30, 1998
Lugar del Evento: Pisa, Italy
Título del Libro: Principles and Practice of Constraint Programming — CP98
Fecha: 1998
ISBN: 9783540652243
Volumen: 1520
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]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions which allow expressing properties of programs. We define assertion schemas which allow writing (partial) specifications for constraint logic programs using quite general properties, including user-defined programs. The framework is aimed at detecting deviations of the program behavior (symptoms) with respect to the given assertions, either at compile-time or run-time. We provide techniques for using information from global analysis both to detect at compile-time assertions which do not hold in at least one of the possible executions (i.e., static symptoms) and assertions which hold for all possible executions (i.e., statically proved assertions). We also provide program transformations which introduce tests in the program for checking at run-time those assertions whose status cannot be determined at compile-time. Both the static and the dynamic checking are provably safe in the sense that all errors flagged are definite violations of the specifications. Finally, we report on an implemented instance of the assertion language and framework.

Más información

ID de Registro: 14399
Identificador DC: http://oa.upm.es/14399/
Identificador OAI: oai:oa.upm.es:14399
URL Oficial: http://link.springer.com/chapter/10.1007%2F3-540-49481-2_43?LI=true
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 02 Feb 2013 09:55
Ultima Modificación: 21 Abr 2016 14:02
  • 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