Algorithmic program debugging

Known as: Declarative Debugging 
Algorithmic debugging (also called declarative debugging) is a debugging technique that compares the results of sub-computations with what the… (More)
Wikipedia

Related topics

Related topics

7 relations
Computer programCorrectness (computer science)Formal specificationLogic programming
(More)

Broader (1)

Debugging

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Declarative Debugging of Missing Answers for Maude
 
Is this relevant?
2010
2010
Interactive ontology debugging: Two query strategies for efficient fault localization☆
Effective debugging of ontologies is an important prerequisite for their broad application, especially in areas that rely on… (More)
  • table 1
  • table 2
  • figure 1
  • table 4
  • table 5
Is this relevant?
2010
2010
Abstract Diagnosis of First Order Functional Logic Programs
Diagnosis of First Order Functional 
Is this relevant?
2007
2007
Algorithmic Debugging of Java Programs
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
A declarative debugger of incorrect answers for constraint functional-logic programs
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 2
  • figure 5
Is this relevant?
2004
2004
Automated Debugging Using Path-Based Weakest Preconditions
Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and… (More)
  • figure 1
  • table 1
Is this relevant?
2002
2002
A Debugging Scheme for Functional Logic Programs
We present a generic scheme for the declarative debugging of functional logic programs which is valid for eager as well as lazy… (More)
  • figure 1
  • figure 2
Is this relevant?
1998
1998
Application of program slicing in algorithmic debugging
Debugging has always been a costly part of software development and software maintenance, which makes it important to find… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1997
Highly Cited
1997
A Declarative Debugging Scheme
  • Lee Naish
  • Journal of Functional and Logic Programming
  • 1997
We present a very simple but flexible declarative debugging scheme. A Abstract-1 declarative debugger can be defined in Prolog… (More)
Is this relevant?
1989
1989
The NU-Prolog Debugging Environment
Traditional declarative debuggers, despite their theoretical attractions are not considered to be practical tools for debugging… (More)
Is this relevant?