Pages that link to "Item:Q3761666"

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

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

Displaying 22 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)
Effective error diagnostic tools for logical prototype systems (Q1290695) (← 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 programs (Q2841221) (← links)
A debugging scheme for functional logic programs (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)
Declarative debugging in constraint logic programming (Q6560353) (← links)