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

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

Description

Title: Combined static and dynamic assertion-based debugging of constraint logic programs
Author/s:
  • Puebla Sánchez, Alvaro Germán
  • Bueno Carrillo, Francisco
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 9th International Workshop, LOPSTR'99
Event Dates: September 22-24, 1999
Event Location: Venice, Italy
Title of Book: Logic-Based Program Synthesis and Transformation
Date: 2000
ISBN: 9783540676287
Volume: 1817
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 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.

More information

Item ID: 14387
DC Identifier: http://oa.upm.es/14387/
OAI Identifier: oai:oa.upm.es:14387
Official URL: http://link.springer.com/chapter/10.1007%2F10720327_16?LI=true
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 01 Feb 2013 08:29
Last Modified: 21 Apr 2016 14:01
  • 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