G. Ferrand. The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. In P. A. Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 40-57. Springer-Verlag, 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Grammar Testing - Lämmel (2001) (1 citation) (Correct)
Semi-automatic Grammar Recovery - Lämmel, Verhoef (2000) (3 citations) (Correct)
On the Verification of Finite Failure - Gori, Levi (1999) (Correct)
An efficient validation mechanism for Inductive Logic.. - Lallouet, Martin (1995) (Correct)
Declarative Debugging in Constraint Logic Programming - Tessier (1996) (3 citations) (Correct)
Declarative Debugging in Constraint Logic Programming - Tessier (1996) (3 citations) (Correct)
Declarative Incorrectness Diagnosis of Constraint Logic Programs - Le Berre, Tessier (1996) (1 citation) (Correct)
Declarative Debugging in Constraint Logic Programming: the Cover.. - Tessier (1996) (3 citations) (Correct)
Declarative Diagnosis Revisited - Comini, Levi, Vitiello (1995) (14 citations) (Correct)
Value Withdrawal Explanation in CSP - Ferrand, Lesaint, Tessier Self-citation (Ferrand) (Correct)
Clarification of the bases of Declarative Diagnosers for CLP - Ferrand, Tessier (1997) Self-citation (Ferrand) (Correct)
Declarative Debugging - Ferrand, Tessier Self-citation (Ferrand) (Correct)
A Compositional Proof Method of Partial Correctness for.. - Ferrand, Lallouet (1995) (10 citations) Self-citation (Ferrand) (Correct)
Positive and Negative Diagnosis for Constraint Logic.. - Ferrand, Tessier (1997) Self-citation (Ferrand) (Correct)
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