Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
From MaRDI portal
Publication:3761666
DOI10.1016/0743-1066(87)90001-XzbMath0623.68005MaRDI QIDQ3761666
Publication date: 1987
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
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, 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
