Files:DescriptionFile size FormatBrowse
Fulltext0.78 MBPDF (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
Johan Boye, Wlodek Drabent, Jan Maluszynski (1997). Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach, Proceedings of the 3rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97) http://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=011 (accessed 7/28/2014)