Kannan Govindarajan, Bharat Jayaraman  Home/Search
Context
Related
| buffalo.edu/pub/techrepor...9413.ps.Z buffalo.edu/~govink/papers/debug.ps buffalo.edu/pub/techrepor...9413.ps.Z 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: buffalo.edu (more) From: buffalo.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Declarative error diagnosis of logic programs was introduced in [Sh82]. Other work in error diagnosis has focused on adding various kinds of control to the declarative diagnoser [Av84], or extending the debugging to a larger class of programs [Pe86]. In all this work the error that is detected is either an incorrect clause instance, which represents an incorrect implication in the intended interpretation, or there is a goal on which the program fails when it should succeed because the clauses... (Update)
Active bibliography (related documents): More All
0.4: Declarative Debugging in Gödel - Binks (1995) (Correct)
0.3: Rational Logic Programming - Pereira (1986) (Correct)
0.2: Preference Queries in Deductive Databases - Kannan Govindarajan (1995) (Correct)
Similar documents based on text: More All
0.5: A Note on the Exhaustiveness of SLDNF-Resolution for Normal.. - De Giacomo (Correct)
0.1: Preference Logic Grammars - Crowner, Govindarajan, Jayaraman.. (Correct)
0.1: Optimization and Relaxation in Constraint Logic Languages - Govindarajan, Jayaraman.. (1996) (Correct)
BibTeX entry: (Update)
@techreport{ govindarajan94intensional,
author = "Kannan Govindarajan and Bharat Jayaraman",
title = "Intensional AlgorithmicDebugging",
number = "94-13",
month = "20,",
year = "1994",
url = "citeseer.ist.psu.edu/govindarajan94intensional.html" }
Citations (may not include all citations):328 Algorithmic Program Debugging (context) - Shapiro - 1982
133 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
42 Algorithmic Debugging with Assertions - Drabent, Nadjm-Tehrani et al. - 1989
26 Rational Debugging in Logic Programming (context) - Pereira - 1986 ACM DBLP
12 Error Diagnosis in Logic Programming, An Adaptation of E.Y.S.. (context) - Ferrand - 1985
10 Deductive Debugging (context) - Dershowitz, Lee - 1987 DBLP
4 Implementation of Subset Equational Languages (context) - Jayaraman - 1992
3 Top-Down Diagnosis of Prolog Programs (context) - Av-Ron - 1984
Documents on the same site (http://www.math.jussieu.fr/~fermigie/fermivista/ftp/ftp.cs.buffalo.edu.html): More
Computing Robust Tests for Stuck-open Faults from.. - Chakravarty.. (1992) (Correct)
Parallel Incremental Scheduling - Wu (1995) (Correct)
Symmetrical Hopping: A Scalable Scheduling Algorithm for Irregular.. - Wu (1995) (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