Logical debugging

DOI10.1016/S0747-7171(06)80011-8zbMath0804.68089OpenAlexW2914079589MaRDI QIDQ1322853

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

specificationsprogram synthesisprogram debuggingautomated debuggerreasoning about logic programs

Mathematics Subject Classification ID

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

Uses Software

• GOLEM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Declarative error diagnosis
• Synthetic programming
• Reasoning about programs
• Recursive functions of symbolic expressions and their computation by machine, Part I
• The relation between logic programming and logic specification
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• An implementation of narrowing
• Derivation of Logic Programs
• A Deductive Approach to Program Synthesis
• Contributions to the Theory of Logic Programming
• The Semantics of Predicate Logic as a Programming Language
• Logical analysis of programs
• An axiomatic basis for computer programming

This page was built for publication: Logical debugging