Fran¸cois Le Berre and Alexandre Tessier. Declarative Incorrectness Diagnosis in Constraint Logic Programming. In Joint Conference on Declarative Programming, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Declarative Error Diagnosis of GAPLog Programs - Eklund (Correct)
....GAPLog, which use external definitions. 2. 4 Constraint logic programming languages A subject closely related to debugging of functional logic programs is debugging of constraint logic programs [11] So far, this is a quite unresearched field, but recently research have started in this field too [12, 26]. 8 CHAPTER 2. RELATED WORK Chapter 3 Preliminaries 3.1 GAPLog GAPLog [15] is a functional logic programming language with the following properties: ffl The functional component of the language is not fixed. Functions in a program are imported from an external program, written in a ....
Fran¸cois Le Berre and Alexandre Tessier. Declarative Incorrectness Diagnosis in Constraint Logic Programming. In Joint Conference on Declarative Programming, 1996.
Correction et complétude des sémantiques PLC.. - Ferrand, Tessier (1998) Self-citation (Tessier) (Correct)
....infinis de contraintes. Cette distinction entre calcul positif et calcul n egatif est une clarification utile motiv ee par les probl emes de validation et en particulier le d ebogage d eclaratif [23] o u l on consid ere deux sortes de symptomes d erreur : une r eponse fausse (symptome positif) [15], une r eponse manquante (symptome n egatif) 26, 10] Cet article propose un cadre uniforme pour formaliser ces deux s emantiques 2 et exprimer clairement les r esultats de correction et compl etude. En particulier, il formule une compl etude de la s emantique n egative en utilisant des ....
Fran¸cois Le Berre and Alexandre Tessier. Declarative Incorrectness Diagnosis in Constraint Logic Programming. In Paqui Lucio, Maurizio Martelli, and Marisa Navarro, editors, Joint Conference on Declarative Programming, pages 379--391, 1996.
Clarification of the bases of Declarative Diagnosers for CLP - Erard Ferrand (1997) Self-citation (Tessier) (Correct)
....answer formula as positive symptom, but we can use also another definition of positive symptom: 8(a c c 0 ) not valid in I such that 8(a c) is a skpositive answer. Then the algorithm is adapted and the notion of positive incorrectness founded is more precise (less general) see for example [7]) 4.2 Positive Partial Insufficiency (missing positive answer) We do not develop this approach of diagnosis for missing answers here. The general scheme, developed in [12] is based on co induction and the positive semantics. This method will be studied among the solutions proposed for the ....
Fran¸cois Le Berre and Alexandre Tessier. Declarative Incorrectness Diagnosis in Constraint Logic Programming. In Paqui Lucio, Maurizio Martelli, and Marisa Navarro, editors, Joint Conference on Declarative Programming, pages 379--391, 1996.
Declarative Debugging in Constraint Logic Programming: the Cover.. - Tessier (1996) (3 citations) Self-citation (Tessier) (Correct)
....Answers provided by a program are sometimes symptom of errors in the program. Error diagnosis is error localization when a symptom (wrong answer or missing answer) is observed. We just treat missing answers. Declarative incorrectness diagnosis (wrong answers) is studied in the framework of Sect. 3 [20]. Example 7 In order to illustrate this section, we consider the program DETECT2 which is an erroneous version of program DETECT1 of Ex. 1: go(C,E,S) circuit(C,E,S) enu(E) C = 0 ,0 ,0 ,0 ,1 ] S = 1 ,1 ] circuit(C,E,S) atmost1(C,X) C = P1,P2,P3,P4,P5] E = X1,X2,X3] S = Y1,Y2] ....
Fran¸cois Le Berre and Alexandre Tessier. Declarative Incorrectness Diagnosis in Constraint Logic Programming. In Joint Conference on Declarative Programming, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC