Debugging Systems for Constraint Programming
32
pages
English
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
32
pages
English
Documents
Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres
Niveau: Supérieur, Master, Bac+4
Debugging Systems for Constraint Programming ESPRIT 22532 Task T.WP2.1: Declarative Debugging in Constraint Programming Delivrable D.WP2.1.M1.1 Clarification of the bases of Declarative Diagnosers for CLP Gerard Ferrand and Alexandre Tessier LIFO, Universite d'Orleans, BP 6759, 45067 Orleans Cedex 2, France fGerard.Ferrand,
Voir
Debugging Systems for Constraint Programming ESPRIT 22532 Task T.WP2.1: Declarative Debugging in Constraint Programming Delivrable D.WP2.1.M1.1 Clarification of the bases of Declarative Diagnosers for CLP Gerard Ferrand and Alexandre Tessier LIFO, Universite d'Orleans, BP 6759, 45067 Orleans Cedex 2, France fGerard.Ferrand,
- declarative debugging
- computation producing
- innite computation
- negative diagnosis
- constraint logic
- diagnosis studies
- positive partial
- semantics
