Debugging Systems for Constraint Programming

Description

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,

• declarative debugging


• computation producing


• innite computation


• negative diagnosis


• constraint logic


• diagnosis studies


• positive partial


• semantics

Sujets

• Ferrand
• Tessier
• Semantics

Informations

• Publié par: larec
• Nombre de lectures: 9
• Langue: English

Extrait