Combined static and dynamic assertion-based debugging of constraint logic programs

Puebla Sánchez, Alvaro Germán; Bueno Carrillo, Francisco y Hermenegildo, Manuel V. (2000). Combined static and dynamic assertion-based debugging of constraint logic programs. En: "9th International Workshop, LOPSTR'99", September 22-24, 1999, Venice, Italy. ISBN 9783540676287.

Descripción

Título: Combined static and dynamic assertion-based debugging of constraint logic programs
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: 9th International Workshop, LOPSTR'99
Fechas del Evento: September 22-24, 1999
Lugar del Evento: Venice, Italy
Título del Libro: Logic-Based Program Synthesis and Transformation
Fecha: 2000
ISBN: 9783540676287
Volumen: 1817
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 for expressing properties of programs. We define several assertion schemas for 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 (i.e., statically) or run-time (i.e., dynamically). 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 pecifications. Finally, we report briefly on the currently implemented instances of the generic framework.

Más información

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