Article | Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) | Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons

Title:
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons
Author:
Gérard Ferrand: LIFO, Universitå d’Orlåans, France Alexandre Tessier: LIFO, Universitå d’Orlåans, France
Download:
Full text (pdf) Full text (ps)
Year:
1997
Conference:
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Issue:
001
Article no.:
012
Pages:
141-153
No. of pages:
13
Publication type:
Abstract and Fulltext
Published:
1997-09-10
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Series:
Linköping Electronic Articles in Computer and Information Science
ISSN (online):
1401-9841
Publisher:
Linköping University Electronic Press; Linköpings universitet


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.

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Author:
Gérard Ferrand, Alexandre Tessier
Title:
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons
References:
No references available

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Author:
Gérard Ferrand, Alexandre Tessier
Title:
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment