Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Tessier, Alexandre - Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans
Esprit Project "DiSCiPl: Debugging Systems for Constraint Programming". Reactive LTR N 22532 1 Cosytec, Parc Club Orsay Universite, 4, rue Jean Rostand, 91893 Orsay Cedex, France. aggoun@cosytec.fr
Correction et completude des semantiques PLC revisitee par (co-)induction
Explanations and Proof Trees Gerard Ferrand and Willy Lesaint and Alexandre Tessier
Une caracterisation des arbres SLD en programmation logique avec contraintes
Meta-Programmation en Programmation en Logique
DECLARATIVE INCORRECTNESS DIAGNOSIS IN CONSTRAINT LOGIC PROGRAMMING
Semantique des programmes logiques avec contraintes fondee sur la relation de couverture
Explanations to Understand the Trace of a Finite Domain Constraint Solver
Debugging Systems for Constraint Programming ESPRIT 22532
Universit d'Orlans Approche, en termes de squelettes de preuve, de la
Declarative Debugging in Constraint Logic Programming Alexandre Tessier
Debugging Systems for Constraint Programming ESPRIT 22532
Theoretical Foundations of Value Withdrawal Explanations for Domain Reduction
Clari cation of the bases of Declarative Diagnosers for CLP Gerard Ferrand (LIFO)
Diagnostic declaratif d'insuffisance en programmation logique avec contraintes
Correction et completude des
Departement d'Informatique Universite d'Orleans
Declarative Debugging Gerard Ferrand and Alexandre Tessier
Generic Trace Format for Constraint Programming Version 2.1
La programmation logique avec contraintes revisitee en termes d'arbres de preuve et de squelettes
Declarative Debugging in Constraint Logic Programming
Debugging Systems for Constraint Programming ESPRIT 22532
Debugging Systems for Constraint Programming ESPRIT 22532
Diagnostic declaratif d'insu sance en programmation logique avec contraintes
Debugging Systems for Constraint Programming ESPRIT 22532
Electronic Notes in Theoretical Computer Science 76 (2002) URL: http://www.elsevier.nl/locate/entcs/volume76.html 16 pages
Positive and Negative Diagnosis for Constraint Logic Programs in terms of proof skeletons
La programmation logique avec contraintes revisitee en termes d'arbres de preuve et de squelettes
Declarative Debugging in Constraint Logic Programming
Correctness of Constraint Retraction Algorithms Romuald Debruyne
CP Debugging Tools Task TWP1.1: Clari cation of functionalities. Selection of the tools
Correctness of Constraint Retraction Romuald Debruyne
Declarative Incorrectness Diagnosis of Constraint Logic Programs
