![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Analysis and Visualization Tools for Constraint Programming 2000
- Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski:
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Lecture Notes in Computer Science 1870, Springer 2000, ISBN 3-540-41137-2 - Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski:
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. 1-20
Part I. Correctness Debugging
- Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
An Assertion Language for Constraint Logic Programs. 23-62 - Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
A Generic Processor for Program Validation and Debugging. 63-107 - Claude Laï:
Assertions with Constraints for CLP Debugging. 109-120 - Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Locating Type Errors in Untyped CLP Programs. 121-150 - Alexandre Tessier, Gérard Ferrand:
Declarative Diagnosis in the CLP Scheme. 151-174
Part II. Performance Debugging
- Pascal Bouvier:
Visual Tools to Debug Prolog IV Programs. 177-190 - Helmut Simonis, Abderrahmane Aggoun:
Search-Tree Visualisation. 191-208 - Christophe Aillaud, Pierre Deransart:
Towards a Language for CLP Choice-Tree Visualisation. 209-236 - Manuel Carro, Manuel V. Hermenegildo:
Tools for Search-Tree Visualisation: The APT Tool. 237-252 - Manuel Carro, Manuel V. Hermenegildo:
Tools for Constraint Visualisation: The VIFID/TRIFID Tool. 253-272 - Frédéric Goualard, Frédéric Benhamou:
Debugging Constraint Programs by Store Inspection. 273-297 - Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau:
Complex Constraint Abstraction: Global Constraint Visualisation. 299-317
Part III. Test Cases
- Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco:
Using Constraint Visualisation Tools. 321-356
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.