Analysis and Visualization Tools for Constraint Programming

Keyphrases

Publications

2000

Alexandre Tessier, Gérard Ferrand
Declarative Diagnosis in the CLP Scheme. Analysis and Visualization Tools for Constraint Programming (2000)
Frédéric Goualard, Frédéric Benhamou
Debugging Constraint Programs by Store Inspection. Analysis and Visualization Tools for Constraint Programming (2000)
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming (2000)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming (2000)
Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau
Complex Constraint Abstraction: Global Constraint Visualisation. Analysis and Visualization Tools for Constraint Programming (2000)
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming (2000)
Pascal Bouvier
Visual Tools to Debug Prolog IV Programs. Analysis and Visualization Tools for Constraint Programming (2000)
Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco
Using Constraint Visualisation Tools. Analysis and Visualization Tools for Constraint Programming (2000)
Christophe Aillaud, Pierre Deransart
Towards a Language for CLP Choice-Tree Visualisation. Analysis and Visualization Tools for Constraint Programming (2000)
Claude Laï
Assertions with Constraints for CLP Debugging. Analysis and Visualization Tools for Constraint Programming (2000)
Manuel Carro, Manuel V. Hermenegildo
Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming (2000)
Manuel Carro, Manuel V. Hermenegildo
Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming (2000)
Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. Analysis and Visualization Tools for Constraint Programming (2000)
Helmut Simonis, Abderrahmane Aggoun
Search-Tree Visualisation. Analysis and Visualization Tools for Constraint Programming (2000)

volume 1870, 2000

Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) Analysis and Visualization Tools for Constraint Programming 1870 (2000)