Files:DescriptionFile size FormatBrowse
Fulltext0.54 MBPDF (requires Acrobat Reader)Previous | Next
PostScript
  
Authors:Gérard Ferrand: LIFO, Université d’Orléans, France
Alexandre Tessier: LIFO, Université d’Orléans, France
Publication title:Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons
Conference:Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Publication type: Abstract and Fulltext
Issue:001
Article No.:012
Abstract:The paper is motivated by the declarative debugging of constraint logic programs. It deals with the theoretical basis of declarative incorrectness diagnosis. It starts with a reformulation of the program semantics in terms of proof tree skeletons; which is suitable for declarative diagnosis study. The program semantics is explained in terms of positive semantics and negative semantics. The problem of wrong answer is treated as an incorrectness of the positive semantics while the problem of missing answer is treated as an incorrectness of the negative semantics. Incorrectness diagnosis is based on a well-founded relation over computation states.
Language:English
Year:1997
No. of pages:13
Pages:141-153
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ea/cis/1997/009/12/cis9700912.pdf
Available:1997-09-10
Publisher:Linköping University Electronic Press; Linköpings universitet

REFERENCE TO THIS PAGE
Gérard Ferrand, Alexandre Tessier (1997). Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons, 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=012 (accessed 10/1/2014)