G. Ferrand (1987). Error diagnosis in logic programming, an adaption of E.Y. Shapiro's method, J. Logic Programming, 177--198. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2002) (1 citation) (Correct)
A Debugging Scheme for Functional Logic Programs - Alpuente (2002) (1 citation) (Correct)
Buggy User's Manual - Alpuente, Correa (Correct)
A Logical Framework for the Algorithmic Debugging.. - Caballero.. (2000) (Correct)
A Debugging Scheme for Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (1 citation) (Correct)
Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
Declarative Debugging of Functional Logic Programs - Alpuente, Correa, Falaschi (2001) (Correct)
Using Global Analysis, Partial Specifications, and an.. - Hermenegildo, Puebla.. (1999) (1 citation) (Correct)
Finite Failure is and-Compositional - Gori, Levi (1997) (Correct)
A Complete Declarative Debugger of Missing Answers - Ruggieri (1998) (Correct)
On the Verification of Finite Failure - Gori, Levi (1999) (Correct)
A Framework for Assertion-based Debugging in Constraint .. - Puebla, Bueno.. (1998) (6 citations) (Correct)
Declarative Debugging in Gödel - Binks (1995) (Correct)
Diagnosis of CHIP Programs Using Type Information - Comini, Drabent, Pietrzak (1998) (Correct)
Use of Correctness Assertions in Declarative Diagnosis of Logic.. - Lu (Correct)
A Generic Declarative Diagnoser for Normal Logic Programs - Lu (1994) (1 citation) (Correct)
Using Global Analysis, Partial Specifications, and an.. - Hermenegildo, Puebla.. (1999) (1 citation) (Correct)
A Formalization of Metaprogramming for Real - Levi, Ramundo (1993) (13 citations) (Correct)
A Theory of Observables for Logic Programs - Comini, Levi, Meo (1996) (3 citations) (Correct)
A Type-based Diagnoser for CHIP - Comini, Drabent, Maluszynski.. (1998) (Correct)
S-Semantics Approach: Theory And Applications - Bossi, Gabbrielli, Levi.. (1994) (7 citations) (Correct)
Efficient Detection of Incompleteness Errors in the.. - Comini, Levi, Vitiello (1995) (3 citations) (Correct)
Dynamic Value-Based Diagnosis System for Assembler Programs - Lin, Jiang, Fan, Zhang (Correct)
Combined Static and Dynamic Assertion-based Debugging.. - Puebla, Bueno.. (1999) (1 citation) (Correct)
Rational Logic Programming - Pereira (1986) (Correct)
First 50 documents
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