Abstract diagnosis
From MaRDI portal
Publication:4700386
DOI10.1016/S0743-1066(98)10033-XzbMath0947.68024MaRDI QIDQ4700386
Giuliana Vitiello, Maria Chiara Meo, Marco Comini, Giorgio Levi
Publication date: 6 December 1999
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (16)
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 Debugging of Membership Equational Logic Specifications ⋮ Abstract Diagnosis of First Order Functional Logic Programs ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption ⋮ A Logical Framework for Debugging in Declarative Constraint Programming ⋮ Assertion based Inductive Verification Methods for Logic Programs ⋮ Correct Answers for First Order Logic ⋮ Logic programs as specifications in the inductive verification of logic programs ⋮ A Declarative Debugger for Maude Functional Modules ⋮ A compact fixpoint semantics for term rewriting systems ⋮ 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 ⋮ A theory of observables for logic programs
This page was built for publication: Abstract diagnosis