Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-17
|
Content
| Files: | Description | File size | Format | |
| Fulltext | 798K | PDF (requires Acrobat Reader) | ||
| Fulltext | 246K | 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. |
|||
| 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 | |||
| Checksum PDF: | 95ddfcca06cd68a93c8f60f54ff0bc35 /home/ep/www/ea/cis/1997/009/11/cis9700911.pdf (MD5) | |||
| Checksum PS: | ce2bd95bd4644d80736830101c51721f /service/www-ep/docs/ea/cis/1997/009/11/cis9700911.ps (MD5) | |||
| PGP PDF: | PGP | |||
| PGP PS: | PGP | |||
| Old Checksum: | Checksum (PS) | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-17