German Puebla, Francisco Bueno, Manuel Hermenegildo  Home/Search
Context Related
| clip.dia.fi.upm.es...discipldeliv.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: clip.dia.fi.upm.es/clippu...node8 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concrete Diagnoser Abstract Concrete Diagnoser Symptoms Symptoms Validator Program User Specification Input Data User (Oracle) Time-Out Perform. (Update)
Cited by: More
The Ciao Modular, Standalone Compiler and Its Generic.. - Cabeza, Hermenegildo (Correct)
An Assertion Language for Constraint Logic Programs - Puebla, Bueno, Hermenegildo (2000) (Correct)
Combined Static and Dynamic Assertion-based Debugging.. - Puebla, Bueno.. (1999) (Correct)
Similar documents (at the sentence level):
43.6%: An Assertion Language for Debugging of Constraint Logic.. - Puebla, Bueno.. (1997) (Correct)
5.0%: Using Global Analysis, Partial Specifications, and an.. - Hermenegildo, Puebla.. (1999) (Correct)
Active bibliography (related documents): More All
0.5: CLP performance analysis: Search-tree Visualisation and.. - Aillaud, Deransart (Correct)
0.4: A Framework for Assertion-based Debugging in Constraint .. - Puebla, Bueno.. (1998) (Correct)
0.2: Programming with Global Analysis - Hermenegildo (1997) (Correct)
Similar documents based on text: More All
0.3: A Documentation Generator for (C)LP Systems - Hermenegildo (2000) (Correct)
0.3: Data-Flow Analysis of Prolog Programs with.. - Bueno, Cabeza.. (1995) (Correct)
0.2: Distributed WWW Programming using (Ciao-)Prolog and the.. - Cabeza, Hermenegildo (2001) (Correct)
Related documents from co-citation: More All
16: Global Analysis of Standard Prolog Programs - Bueno, Cabeza et al. - 1996
13: the Role of Semantic Approximations in Validation and Diagnosis of Constraint Lo.. (context) - Bueno, Deransart et al. - 1997
13: Global Analysis of Constraint Logic Programs (context) - de la, Hermenegildo et al. - 1996
BibTeX entry: (Update)
G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. Technical Report CLIP2/97.1, Facultad de Inform'atica, UPM, July 1997. http://citeseer.ist.psu.edu/puebla97assertion.html More
@misc{ puebla97assertion,
author = "G. Puebla and F. Bueno and M. Hermenegildo",
title = "An Assertion Language for Debugging of Constraint Logic Programs",
text = "G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging
of Constraint Logic Programs. Technical Report CLIP2/97.1, Facultad de Inform'atica,
UPM, July 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/puebla97assertion.html" }
Citations (may not include all citations):815 Abstract Interpretation: a Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994
328 Algorithmic Program Debugging (context) - Shapiro - 1982
197 Literate programming (context) - Knuth - 1984
42 Algorithmic debugging with assertions - Drabent, Nadjm-Tehrani et al. - 1989
37 Types as Abstract Interpretations (context) - Cousot - 1997
34 the Practicality of Global Flow Analysis of Logic Programs (context) - Warren, Hermenegildo et al. - 1988
34 The execution algorithm of Mercury: an efficient purely decl.. - Somogyi, Henderson et al. - 1996
27 The CIAO MultiDialect Compiler and System: An Experimentatio.. - Hermenegildo, Bueno et al. - 1995
26 Global Analysis of Standard Prolog Programs - Bueno, Cabeza et al. - 1996
23 The Use of Assertions in Algorithmic Debugging (context) - Drabent, Nadjm-Tehrani et al. - 1988
23 the Role of Semantic Approximations in Validation and Diagno.. (context) - Bueno, Deransart et al. - 1997
19 The Goedel Programming Language (context) - Hill, Lloyd - 1994
13 High-Performace Logic Programming with the Aquarius Prolog C.. (context) - Van Roy, Despain - 1992
11 Utilisation de Declarations en Programmation Logique avec Co.. (context) - Vetillard - 1994
11 The CIAO Multiparadigm Compiler: A User's Manual (context) - Bueno - 1995
11 Declarative diagnosis of constraint programs: an assertion-b.. - Boye, Drabent et al. - 1997
10 Effectiveness of optimizing compilation for CLP (context) - Kelly, Macdonald et al. - 1996
10 Global Analysis of Constraint Logic Programs - de la, Hermenegildo et al. - 1996
8 A three-valued declarative debugging scheme - Naish - 1997
2 pltexi Automatic Documentation Generator (context) - The, pl et al. - 1997
2 CP Debugging Tools (context) - Project - 1997
1 Facultad de Inform 'atica (context) - Group, Assertions et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://clip.dia.fi.upm.es/clippubsbyyear/node8.html): More
Lower Bound Cost Estimation for Logic Programs - Debray, Lopez-Garcia.. (1997) (Correct)
An Algebraic Approach to Sharing Analysis of Logic Programs - Codish, Lagoon, Bueno (1997) (Correct)
Exploiting Goal Independence in the Analysis of Logic.. - Codish, Bruynooghe.. (1997) (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