The following pages link to Abstract diagnosis (Q4700386):
Displayed 16 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- A theory of observables for logic programs (Q1854446) (← links)
- On the verification of finite failure (Q2575838) (← links)
- 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. (Q2841221) (← links)
- 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 Valenci (Q2841284) (← links)
- A Declarative Debugging System for Lazy Functional Logic Programs (Q2841290) (← links)
- Abstract Diagnosis of First Order Functional Logic Programs (Q3003495) (← links)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)
- Assertion based Inductive Verification Methods for Logic Programs (Q4923368) (← links)
- Correct Answers for First Order Logic (Q4923518) (← links)
- Logic programs as specifications in the inductive verification of logic programs (Q4923522) (← links)
- A Logical Framework for Debugging in Declarative Constraint Programming (Q5170295) (← links)
- A Declarative Debugger for Maude Functional Modules (Q5179130) (← links)