| Files: | Description | File size | Format | Browse |
| Fulltext | 0.78 MB | PDF (requires Acrobat Reader) | Previous | Next |
| PostScript | | | |
| | |
| Authors: | Johan Boye: Linköping University, Sweden |
| | Wlodek Drabent: Institute of Computer Science, Polish Academy of Sciences, Poland |
| | Jan Maluszynski: Institute of Computer Science, Polish Academy of Sciences, Poland |
| Publication title: | Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach |
| Conference: | Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97) |
| Publication type: | Abstract and Fulltext |
| Issue: | 001 |
| Article No.: | 011 |
| Abstract: | 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. |
| Language: | English |
| Year: | 1997 |
| No. of pages: | 18 |
| Pages: | 123-140 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ea/cis/1997/009/11/cis9700911.pdf |
| Available: | 1997-09-10 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
| REFERENCE TO THIS PAGE |
Ph.D., Lic. Theses
