Logical debugging
type: Item
instance of: scholarly article
title: Logical debugging
zbMATH Open document ID: 0804.68089
DOI: 10.1016/S0747-7171(06)80011-8
author: Nachum Dershowitz
author: Yuh-Jeng Lee
published in: Journal of Symbolic Computation
publication date: 1994-05-09T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 566072
zbMATH Keywords: reasoning about logic programs
zbMATH Keywords: specifications
zbMATH Keywords: program debugging
zbMATH Keywords: program synthesis
zbMATH Keywords: automated debugger
describes a project that uses: GOLEM
MaRDI profile type: Publication
cites work: Contributions to the Theory of Logic Programming
cites work: Q4720771
cites work: Q3783490
cites work: Synthetic programming
cites work: Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
cites work: Q5584402
cites work: Q3962973
cites work: An axiomatic basis for computer programming
cites work: Derivation of Logic Programs
cites work: An implementation of narrowing
cites work: Logical analysis of programs
cites work: Q4057549
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Q4051550
cites work: The relation between logic programming and logic specification
cites work: Q3339245
cites work: Declarative error diagnosis
cites work: A Deductive Approach to Program Synthesis
cites work: Recursive functions of symbolic expressions and their computation by machine, Part I
cites work: Q4692604
cites work: Q4297316
cites work: Q3939266
cites work: Reasoning about programs
full work available at URL: s0747-7171(06)80011-8
OpenAlex ID: W2914079589
Recommended article: Reversible debugging in logic programming
Recommended article: Proof-directed debugging
Recommended article: Q4812994
Recommended article: A Logical Framework for Debugging in Declarative Constraint Programming
Recommended article: Debugging Tools for Concurrent Logic Programming
Recommended article: Declarative Debugging of Rewriting Logic Specifications
Recommended article: Declarative debugging of rewriting logic specifications
Recommended article: A debugging scheme for functional logic programs
Recommended article: Q4281583
Recommended article: Debugging and testing of Prolog programs
description: scientific article; zbMATH DE number 566072