Logical debugging

DOI10.1016/S0747-7171(06)80011-8MaRDI QIDQ1322853zbMATH OpenOpenAlexFDO

Authors Nachum Dershowitz, Yuh-Jeng Lee

Publication date 9 May 1994

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0747-7171(06)80011-8

zbMATH Keywords

program debuggingprogram synthesisspecificationsautomated debuggerreasoning about logic programs

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Recommendations

• Reversible debugging in logic programming
• Proof-directed debugging
• scientific article; zbMATH DE number 2090558
• A logical framework for debugging in declarative constraint programming
• Debugging Tools for Concurrent Logic Programming
• Declarative Debugging of Rewriting Logic Specifications
• Declarative debugging of rewriting logic specifications
• A debugging scheme for functional logic programs
• scientific article; zbMATH DE number 512882
• Debugging and testing of Prolog programs

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4047035 (Why is no real title available?)
• scientific article; zbMATH DE number 3755906 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 3466489 (Why is no real title available?)
• scientific article; zbMATH DE number 3473265 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 194617 (Why is no real title available?)
• scientific article; zbMATH DE number 3992919 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• A Deductive Approach to Program Synthesis
• An axiomatic basis for computer programming
• An implementation of narrowing
• Contributions to the Theory of Logic Programming
• Declarative error diagnosis
• Derivation of Logic Programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Logical analysis of programs
• Reasoning about programs
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Synthetic programming
• The Semantics of Predicate Logic as a Programming Language
• The relation between logic programming and logic specification

Cited in

(14)

• scientific article; zbMATH DE number 1870455 (Why is no real title available?)
• scientific article; zbMATH DE number 2089877 (Why is no real title available?)
• scientific article; zbMATH DE number 4014008 (Why is no real title available?)
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 2032315 (Why is no real title available?)
• Effective error diagnostic tools for logical prototype systems
• scientific article; zbMATH DE number 194617 (Why is no real title available?)
• scientific article; zbMATH DE number 1956545 (Why is no real title available?)
• Automated debugging based on a constraint model of the program and a test case
• Automatic Binding-Related Error Diagnosis in Logic Programs
• A procedure to debug computer programs
• Reversible debugging in logic programming
• Logical feedback
• Debugging tools for a system with automatic program synthesis

Describes a project that uses

Uses Software

• GOLEM

This page was built for publication: Logical debugging

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1322853)