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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

Declarative debugging is a semi-automatic debugging technique that abstracts the execution details to focus on results. This…

2013

Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as…

2010

Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment…

2009

We show in this guide how to use our declarative debugger for Maude specifications. Declarative debugging is a semi-automatic…

2007

2000

Model-based reasoning has seen successful application in hardware oriented and physical domains and many models of physical…

2000

There are two ways of constructing a reliable system. One is to make it so simple that there are no obvious deeciencies. The…

2000

Traditional debugging techniques are not well suited for lazy functional programming, because of the diicult-to-predict…

1990

In this paper we discuss a declarative approach to debugging for DATALOG, a logic programming language based on a bottom-up…

1990

This paper describes the outline and implementation of the declarative debugging system DDS. The purpose of DDS is to provide the…