A methodology for reasoning about logic programs and their specifications is applied to program debugging as well as program synthesis. Specifications in the form of an executable model of the desired program are used to generate test cases, locate bugs, and guide bug correction. Both deductive and inductive inference techniques are employed for bug correction and synthesis. The behavior of the automated debugger is demonstrated through several examples
There are many ways to find bugs in programs. For example, observed input and output values can be c...
The thesis describes a new approach to declarative debugging (error diagnosis) of logic programs, in...
We present a generic scheme for the declarative debugging of functional logic programs which is vali...
A methodology for reasoning about logic programs and their specifications is applied to program debu...
152 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1988.This dissertation addresses t...
We propose debugging tools for the development of environments for logic programming languages. Suc...
Algorithmic debugging, as presented by Shapiro, is an interactive process where the debugging system...
this paper is to examine recent and current debugging approaches that promise to have the potential ...
Programming environments are essential for the acceptance of programming languages. This survey emph...
Programming environments are essential for the acceptance of programming languages. This survey emph...
We present a general framework for the declarative debugging of functional logic programs, which is ...
AbstractProgramming environments are essential for the acceptance of programming languages. This sur...
We present a general framework for the declarative debugging of functional logic programs, which is ...
We present a general framework for the declarative debugging of functional logic programs, which is ...
We present a general framework for the declarative debugging of functional logic programs, which is ...
There are many ways to find bugs in programs. For example, observed input and output values can be c...
The thesis describes a new approach to declarative debugging (error diagnosis) of logic programs, in...
We present a generic scheme for the declarative debugging of functional logic programs which is vali...
A methodology for reasoning about logic programs and their specifications is applied to program debu...
152 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 1988.This dissertation addresses t...
We propose debugging tools for the development of environments for logic programming languages. Suc...
Algorithmic debugging, as presented by Shapiro, is an interactive process where the debugging system...
this paper is to examine recent and current debugging approaches that promise to have the potential ...
Programming environments are essential for the acceptance of programming languages. This survey emph...
Programming environments are essential for the acceptance of programming languages. This survey emph...
We present a general framework for the declarative debugging of functional logic programs, which is ...
AbstractProgramming environments are essential for the acceptance of programming languages. This sur...
We present a general framework for the declarative debugging of functional logic programs, which is ...
We present a general framework for the declarative debugging of functional logic programs, which is ...
We present a general framework for the declarative debugging of functional logic programs, which is ...
There are many ways to find bugs in programs. For example, observed input and output values can be c...
The thesis describes a new approach to declarative debugging (error diagnosis) of logic programs, in...
We present a generic scheme for the declarative debugging of functional logic programs which is vali...
DOI
Add to ORKG