Analysis and Visualization Tools for Constraint Programming 2000

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski (Eds.): Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Lecture Notes in Computer Science 1870 Springer 2000, ISBN 3-540-41137-2 BibTeX

@proceedings{DBLP:conf/discipl/2000,
  editor    = {Pierre Deransart and
               Manuel V. Hermenegildo and
               Jan Maluszynski},
  title     = {Analysis and Visualization Tools for Constraint Programming,
               Constrain Debugging (DiSCiPl project)},
  booktitle = {Analysis and Visualization Tools for Constraint Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1870},
  year      = {2000},
  isbn      = {3-540-41137-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Introduction. 1-20 BibTeX

Part I. Correctness Debugging

Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: An Assertion Language for Constraint Logic Programs. 23-62 BibTeX
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Generic Processor for Program Validation and Debugging. 63-107 BibTeX
Claude Laï: Assertions with Constraints for CLP Debugging. 109-120 BibTeX
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Locating Type Errors in Untyped CLP Programs. 121-150 BibTeX
Alexandre Tessier, Gérard Ferrand: Declarative Diagnosis in the CLP Scheme. 151-174 BibTeX

Part II. Performance Debugging

Pascal Bouvier: Visual Tools to Debug Prolog IV Programs. 177-190 BibTeX
Helmut Simonis, Abderrahmane Aggoun: Search-Tree Visualisation. 191-208 BibTeX
Christophe Aillaud, Pierre Deransart: Towards a Language for CLP Choice-Tree Visualisation. 209-236 BibTeX
Manuel Carro, Manuel V. Hermenegildo: Tools for Search-Tree Visualisation: The APT Tool. 237-252 BibTeX
Manuel Carro, Manuel V. Hermenegildo: Tools for Constraint Visualisation: The VIFID/TRIFID Tool. 253-272 BibTeX
Frédéric Goualard, Frédéric Benhamou: Debugging Constraint Programs by Store Inspection. 273-297 BibTeX
Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau: Complex Constraint Abstraction: Global Constraint Visualisation. 299-317 BibTeX

Part III. Test Cases

Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco: Using Constraint Visualisation Tools. 321-356 BibTeX