A framework for assertion-based debugging in constraint logic programming

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

Description

Title: A framework for assertion-based debugging in constraint logic programming
Author/s:
  • Puebla Sánchez, Alvaro Germán
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 4th International Conference, CP98
Event Dates: October 26-30, 1998
Event Location: Pisa, Italy
Title of Book: Principles and Practice of Constraint Programming — CP98
Date: 1998
ISBN: 9783540652243
Volume: 1520
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 14399
DC Identifier: http://oa.upm.es/14399/
OAI Identifier: oai:oa.upm.es:14399
Official URL: http://link.springer.com/chapter/10.1007%2F3-540-49481-2_43?LI=true
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 02 Feb 2013 09:55
Last Modified: 21 Apr 2016 14:02
  • 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