Pages that link to "Item:Q3761666"

The following pages link to Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method (Q3761666):

Displaying 20 items.

• Declarative error diagnosis (Q578894) (← links)
• An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
• Proof methods of declarative properties of definite programs (Q685395) (← links)
• Completeness of an improved declarative debugger (Q808236) (← links)
• Declarative modeling of the operational behavior of logic languages (Q913530) (← links)
• S-semantics for logic programming: a retrospective look (Q1035702) (← links)
• An operational formal definition of PROLOG: A specification method and its application (Q1186100) (← links)
• A compositional semantics for logic programs (Q1314414) (← links)
• Logical debugging (Q1322853) (← links)
• An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. (Q1853617) (← links)
• A theory of observables for logic programs (Q1854446) (← links)
• On the verification of finite failure (Q2575838) (← links)
• Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming (Q2640347) (← 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)
• Assertion based Inductive Verification Methods for Logic Programs (Q4923368) (← 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)
• On the relationship between model-based debugging and program slicing (Q5958541) (← links)