Abstract diagnosis

DOI10.1016/S0743-1066(98)10033-XMaRDI QIDQ4700386zbMATH OpenFDO

Authors Maria Chiara Meo, G. Vitiello, Marco Comini, Giorgio Levi

Publication date 6 December 1999

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

Full work available at URL https://doi.org/10.1016/S0743-1066(98)10033-X

zbMATH Keywords

declarative diagnosis techniques

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Declarative error diagnosis
• Abstract diagnosis of functional programs
• Abstract Diagnosis of First Order Functional Logic Programs
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

Cited in

(16)

• S-semantics for logic programming: a retrospective look
• A theory of observables for logic programs
• On the verification of finite failure
• Declarative debugging of functional logic programs
• A debugging scheme for functional logic programs
• A declarative debugging system for lazy functional logic programs
• Abstract Diagnosis of First Order Functional Logic Programs
• Declarative Debugging of Membership Equational Logic Specifications
• Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
• 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 logical framework for debugging in declarative constraint programming
• A declarative debugger for Maude functional modules
• An integrated framework for the diagnosis and correction of rule-based programs
• A compact fixpoint semantics for term rewriting systems

This page was built for publication: Abstract diagnosis

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