Files: Description File size Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
   
Authors: Johan Boye, Wlodek Drabent and Jan Maluszynski
Article title: Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach
Conference: AADEBUG'97. Proceedings of the Third International Workshop on Automatic Debugging: Linköping, Sweden, May 26-27, 1997
Publ. type: Article
Article No: 11
Language: English
Abstract [en]: This paper discusses adaptation of the declarative diagnosis techniques for the use in constraint logic programming. The objective is to show how the well-known concepts are to be modified in this setting. In particular, the paper outlines basic algorithms for diagnosing incorrectness errors and insufficiency errors for constraint programs over arbitrary domains. The main focus is on defining kinds of assertions needed to facilitate the task of answering of debugger queries. The examples illustrate the use of the proposed assertions in the declarative diagnosis algorithms for finite domain constraint programs.

This work was partly supported by ESPRIT project DiSCiPL (22532). The second author was also supported by Polish Academy of Sciences.

PDF
Publisher: Linköping University Electronic Press
Year: 1997
Available: 1997-09-10
No. of pages: 18
Pages: 123-140
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841
Volume: 2
No: 009
Series: Linköping Electronic Conference Proceedings
ISSN (print): 1650-3686
ISSN (online): 1650-3740
Issue: 1
REFERENCE TO THIS PAGE:
Boye, Johan ; Drabent, Wlodek and Maluszynski, Jan (1997). Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach in Linköping Electronic Articles in Computer and Information Science, Vol. 2, No. 009:11. http://www.ep.liu.se/ea/cis/1997/009/11/. ()