Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method

DOI10.1016/0743-1066(87)90001-XzbMath0623.68005MaRDI QIDQ3761666

Gérard Ferrand

Publication date: 1987

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

Horn clause logic programmingbug diagnosisfixpoint and declarative semantics of logic programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (21)

Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming ⋮ A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Declarative modeling of the operational behavior of logic languages ⋮ An operational formal definition of PROLOG: A specification method and its application ⋮ Proof methods of declarative properties of definite programs ⋮ A Logical Framework for Debugging in Declarative Constraint Programming ⋮ Assertion based Inductive Verification Methods for Logic Programs ⋮ Logic programs as specifications in the inductive verification of logic programs ⋮ Declarative error diagnosis ⋮ On the relationship between model-based debugging and program slicing ⋮ Declarative debugging in constraint logic programming ⋮ S-semantics for logic programming: a retrospective look ⋮ Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. ⋮ A Declarative Debugging System for Lazy Functional Logic Programs ⋮ On the verification of finite failure ⋮ An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. ⋮ A theory of observables for logic programs ⋮ A compositional semantics for logic programs ⋮ Completeness of an improved declarative debugger ⋮ Logical debugging

This page was built for publication: Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method