Debugging Systems for Constraint Programming
32 pages
English

Debugging Systems for Constraint Programming

Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

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

Informations

Publié par
Nombre de lectures 9
Langue English