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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
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
Diagnosis of First Order Functional 
Is this relevant?
2007
2007
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
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
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
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
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
  • 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
Traditional declarative debuggers, despite their theoretical attractions are not considered to be practical tools for debugging… (More)
Is this relevant?