Logical debugging

Authors:
Nachum Dershowitz;Yuh-Jeng Lee
Affiliations:
Computer Science Department, Naval Postgraduate School, U.S.A.;Computer Science Department, Naval Postgraduate School, U.S.A.
Venue:
Journal of Symbolic Computation - Special issue on automatic programming
Year:
1993

Citing 23
Cited 0

Foundations of logic programming

Foundations of logic programming
Synthetic programming

Artificial Intelligence
The relation between logic programming and logic specification

Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
PROUST: Knowledge-Based Program Understanding

IEEE Transactions on Software Engineering
Test sets generation from algebraic specifications using logic programming

Journal of Systems and Software
Declarative error diagnosis

New Generation Computing
An implementation of narrowing

Journal of Logic Programming
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
Derivation of Logic Programs

Journal of the ACM (JACM)
Contributions to the Theory of Logic Programming

Journal of the ACM (JACM)
An axiomatic basis for computer programming

Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I

Communications of the ACM
The Evolution of Programs

The Evolution of Programs
Algorithmic Program DeBugging

Algorithmic Program DeBugging
Art of Software Testing

Art of Software Testing
A Computer Model of Skill Acquisition

A Computer Model of Skill Acquisition
The Role of Logic Programming in the Fifth Generation Computer Project

Proceedings of the Third International Conference on Logic Programming
An Improvised Version of Shapiro's Model Inference System

Proceedings of the Third International Conference on Logic Programming
Opium - An Advanced Debugging System

LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
Algorithmic Debugging for Lazy Functional Languages

PLILP '92 Proceedings of the 4th International Symposium on Programming Language Implementation and Logic Programming
Derived Preconditions and Their Use in Program Synthesis

Proceedings of the 6th Conference on Automated Deduction
Towards automatic debugging of programs

Proceedings of the international conference on Reliable software
Knowledge-Based Program Debugging Systems

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.