| 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/.
() |
|