F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. In Proc. of the 3rd. Int'l Workshop on Automated Debugging{AADEBUG'97, pages 155-170, Linkoping, Sweden, May 1997. U. of Linkoping Press. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
An Experiment in Type Inference and Veri - Cation By (Correct)
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)
How to Transform an Analyzer into a Verifier - Comini, Gori, Levi (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)
On the Verification of Finite Failure - Gori, Levi (1999) (Correct)
Combined Static and Dynamic Assertion-based Debugging.. - Puebla, Bueno.. (1999) (1 citation) Self-citation (Bueno Hermenegildo Puebla) (Correct)
A New Module System for Prolog - Cabeza, Hermenegildo (2000) (11 citations) Self-citation (Hermenegildo) (Correct)
Programming with Global Analysis - Hermenegildo (1997) Self-citation (Hermenegildo) (Correct)
A New Module System for Prolog - Daniel Cabeza And (1999) (11 citations) Self-citation (Hermenegildo) (Correct)
An Assertion Language for Debugging of Constraint Logic.. - Puebla, Bueno.. (1997) Self-citation (Bueno Hermenegildo) (Correct)
An Assertion Language for Debugging of Constraint Logic.. - Puebla, Bueno.. (1997) Self-citation (Bueno Hermenegildo Puebla) (Correct)
Using Global Analysis, Partial Specifications, and an.. - Hermenegildo, Puebla.. (1999) (1 citation) Self-citation (Bueno Hermenegildo Puebla) (Correct)
A Framework for Assertion-based Debugging in Constraint .. - Puebla, Bueno.. (1998) (6 citations) Self-citation (Bueno Hermenegildo Puebla) (Correct)
The CIAO Multi-Dialect Compiler and System: An.. - Hermenegildo.. (1995) (7 citations) Self-citation (Bueno Hermenegildo Puebla) (Correct)
An Assertion Language for Debugging of Constraint Logic.. - Puebla, Bueno.. (1997) Self-citation (Bueno Hermenegildo Puebla) (Correct)
A Framework for Assertion-based Debugging in Constraint .. - Puebla, Bueno.. (1998) (6 citations) Self-citation (Bueno Hermenegildo Puebla) (Correct)
Using Global Analysis, Partial Specifications, and an.. - Hermenegildo, Puebla.. (1999) (1 citation) Self-citation (Bueno Hermenegildo Puebla) (Correct)
A Framework for Assertion-based Debugging in Constraint .. - Puebla, Bueno.. (1998) (6 citations) Self-citation (Bueno Hermenegildo Puebla) (Correct)
Some Design Issues in the Visualization of Constraint Logic .. - Carro, Hermenegildo (1998) (2 citations) Self-citation (Hermenegildo) (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