Marco Comini, Giorgio Levi, Giuliana Vitiello  Home/Search
Context Related
| di.unipi.it/pub/Pa...fDetIncErr95.ps.gz strudel.di.unipi.i...fDetIncErr95.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: justresearch.com/Programm...index (more) From: strudel.di.unipi.it/papers/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Debugging of Logic Programs Marco Comini, Giorgio Levi Dipartimento di Informatica, Universit`a di Pisa, Corso Italia 40, 56125 Pisa, Italy fcomini,levig@di.unipi.it Giuliana Vitiello Dipartimento di Informatica ed Applicazioni, Universit`a di Salerno, Baronissi (Salerno), Italy giuvit@udsab.dia.unisa.it Abstract Abstract debugging of logic programs is an extension of declarative debugging, where we deal with specifications of operational properties, which can be characterized as... (Update)
Context of citations to this paper: More
...name of algorithmic debugging. Many techniques inspired by the Shapiro s method have been developed for logic programs [12, 11, 21, 8, 13, 7, 9, 22, 24, 3]. But, declarative diagnosis of constraint logic programs is relatively unexplored. We focus in this paper on the...
.... analysis (groundness, types, The abstraction framework has also been used as the semantic foundation of abstract diagnosis [5]. Let us finally note that, since our framework is based on standard operational and denotational semantic definitions, it can be adapted...
Cited by: More
Declarative Debugging - Ferrand, Tessier (Correct)
Declarative Debugging in Constraint Logic Programming - Tessier (1996) (Correct)
Compositionality Properties of SLD-derivations - Comini, Meo (1996) (Correct)
Active bibliography (related documents): More All
0.3: Resultants Semantics for Prolog - Gabbrielli, Levi, Meo (1996) (Correct)
0.2: Declarative Diagnosis Revisited - Comini, Levi, Vitiello (1995) (Correct)
0.1: Declarative Interpretations Reconsidered - Apt, Gabbrielli (1994) (Correct)
Similar documents based on text: More All
0.3: Exploiting Visual Languages in Software Engineering - Ferrucci, Tortora, Vitiello (Correct)
0.2: Zero-Knowledge Arguments and Public-Key Cryptography - De Santis, Di Crescenzo.. (1995) (Correct)
0.2: A Parallel Runge-Kutta Nyström Code For y" = f(t,y).. - Crisci, Paternoster.. (1996) (Correct)
Related documents from co-citation: More All
3: Abstract debugging of logic programs (context) - Comini, Levi et al. - 1994
3: A Grammatical View of Logic Programming (context) - Deransart, Ma - 1993
3: Declarative diagnosis revisited - Comini, Levi et al. - 1995
BibTeX entry: (Update)
Marco Comini, Giorgio Levi, and Giuliana Vitiello. Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. In Mirelle Ducass'e, editor, Automated and Algorithmic Debugging, pages 159--174. IRISA-CNRS, 1995. http://citeseer.ist.psu.edu/comini95efficient.html More
@inproceedings{ comini95efficient,
author = "Marco Comini and Giorgio Levi and Giuliana Vitiello",
title = "Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs",
booktitle = "Automated and Algorithmic Debugging",
pages = "159-174",
year = "1995",
url = "citeseer.ist.psu.edu/comini95efficient.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
440 The Art of Prolog (context) - Sterling, Shapiro - 1986
328 Algorithmic program debugging (context) - Shapiro - 1982
312 Systematic Design of Program Analysis Frameworks (context) - Cousot, Cousot - 1979
248 The semantics of predicate logic as a programming language (context) - van Emden, Kowalski - 1976
218 Abstract Interpretation and Applications to Logic Programs (context) - Cousot, Cousot - 1992
146 Introduction to Logic Programming (context) - Apt - 1990
128 Declarative Modeling of the Operational Behavior of Logic La.. (context) - Falaschi, Levi et al. - 1989
116 Reasoning about termination of pure PROLOG programs - Apt, Pedreschi - 1993
82 semantics approach: Theory and applications (context) - Bossi, Gabbrielli et al. - 1994
78 Predicate logic as a computational formalism (context) - Clark - 1979
68 A ModelTheoretic Reconstruction of the Operational Semantics.. (context) - Falaschi, Levi et al. - 1993
57 A Compositional Semantics for Logic Programs (context) - Bossi, Gabbrielli et al. - 1994
55 Abstract debugging of higher-order imperative languages (context) - Bourdoncle - 1993
49 Declarative error diagnosis (context) - Lloyd - 1987
32 Error Diagnosis in Logic Programming (context) - Ferrand - 1987
18 An algebraic theory of observables - Comini, Levi - 1994
17 Abstract debugging of logic programs (context) - Comini, Levi et al. - 1994
15 Observational Equivalences for Logic Programs - Gabbrielli, Levi et al. - 1992
7 Dipartimento di Informatica (context) - Gabbrielli, Levi et al. - 1994
1 Modelling PROLOG control in constraint logic languages - Levi, Micciancio
Documents on the same site (http://www.cora.justresearch.com/Programming/Debugging/index.html): More
Cognitive Dimensions of PrologSpace - Ford (1995) (Correct)
A Debugger for Standard ML - Tolmach, Appel (1993) (Correct)
GeoSheet: A Distributed Visualization Tool for Geometric.. - Lee, Sheu, Shen (1994) (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