Searching for "Declarative Debugging in Constraint Logic Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Declarative Debugging in Constraint Logic Programming
by Alexandre Tessier — 1996 — Asian Computing Science Conference
…Declarative Debugging in Constraint Logic Programming Alexandre Tessier LIFO, Universit'e d…
Cited by 10 (4 self) – Add To MetaCart

Positive and Negative Diagnosis for Constraint Logic Programs in terms of proof skeletons
by Gerard Ferr, Re Tessier
…Gerard.Ferrand,Alexandre.Tessierg@(email omitted);,hhtp://www.univ-orleans.fr/~tessier Abstract The paper is motivated by the declarative debugging of constraint logic programs. It deals…
Add To MetaCart

Positive and Negative Diagnosis for Constraint Logic Programs in terms of proof skeletons
by Gérard Ferrand, Alexandre Tessier, Re Tessier — 1997 — In Mariam Kamkar, editor, International Workshop on Automated Debugging
…Gerard.Ferrand,Alexandre.Tessierg@(email omitted);,hhtp://www.univ-orleans.fr/~tessier Abstract The paper is motivated by the declarative debugging of constraint logic programs. It deals…
Cited by 5 (4 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB