Conferences in DBLP

Analysis and Visualization Tools for Constraint Programming (discipl)
2000 (conf/discipl/2000)

1. Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
   Introduction. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:1-20 [Conf]
   
2. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
   An Assertion Language for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:23-62 [Conf]
   
3. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
   A Generic Processor for Program Validation and Debugging. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:63-107 [Conf]
   
4. Claude Laï
   Assertions with Constraints for CLP Debugging. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:109-120 [Conf]
   
5. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
   Locating Type Errors in Untyped CLP Programs. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:121-150 [Conf]
   
6. Alexandre Tessier, Gérard Ferrand
   Declarative Diagnosis in the CLP Scheme. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:151-174 [Conf]
   
7. Pascal Bouvier
   Visual Tools to Debug Prolog IV Programs. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:177-190 [Conf]
   
8. Helmut Simonis, Abderrahmane Aggoun
   Search-Tree Visualisation. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:191-208 [Conf]
   
9. Christophe Aillaud, Pierre Deransart
   Towards a Language for CLP Choice-Tree Visualisation. [Citation Graph (0, 0)][DBLP]
   Analysis and Visualization Tools for Constraint Programming, 2000, pp:209-236 [Conf]
   
10. Manuel Carro, Manuel V. Hermenegildo
    Tools for Search-Tree Visualisation: The APT Tool. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:237-252 [Conf]
    
11. Manuel Carro, Manuel V. Hermenegildo
    Tools for Constraint Visualisation: The VIFID/TRIFID Tool. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:253-272 [Conf]
    
12. Frédéric Goualard, Frédéric Benhamou
    Debugging Constraint Programs by Store Inspection. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:273-297 [Conf]
    
13. Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau
    Complex Constraint Abstraction: Global Constraint Visualisation. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:299-317 [Conf]
    
14. Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco
    Using Constraint Visualisation Tools. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:321-356 [Conf]