default search action

combined dblp search
author search
venue search
publication search

ask others

Analysis and Visualization Tools for Constraint Programming 2000

> Home > Conferences and Workshops > Analysis and Visualization Tools for Constraint Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/discipl/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/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
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/DeransartHM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/DeransartHM00
Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski:
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. 1-20

Part I. Correctness Debugging

- view
  authority control:
- export record
  dblp key:
  - conf/discipl/PueblaBH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/PueblaBH00
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
An Assertion Language for Constraint Logic Programs. 23-62
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/PueblaBH00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/PueblaBH00a
Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
A Generic Processor for Program Validation and Debugging. 63-107
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/Lai00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/Lai00
Claude Laï:
Assertions with Constraints for CLP Debugging. 109-120
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/DrabentMP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/DrabentMP00
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Locating Type Errors in Untyped CLP Programs. 121-150
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/TessierF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/TessierF00
Alexandre Tessier, Gérard Ferrand:
Declarative Diagnosis in the CLP Scheme. 151-174

Part II. Performance Debugging

- view
  authority control:
- export record
  dblp key:
  - conf/discipl/Bouvier00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/Bouvier00
Pascal Bouvier:
Visual Tools to Debug Prolog IV Programs. 177-190
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/SimonisA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/SimonisA00
Helmut Simonis, Abderrahmane Aggoun:
Search-Tree Visualisation. 191-208
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/AillaudD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/AillaudD00
Christophe Aillaud, Pierre Deransart:
Towards a Language for CLP Choice-Tree Visualisation. 209-236
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/CarroH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/CarroH00
Manuel Carro, Manuel V. Hermenegildo:
Tools for Search-Tree Visualisation: The APT Tool. 237-252
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/CarroH00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/CarroH00a
Manuel Carro, Manuel V. Hermenegildo:
Tools for Constraint Visualisation: The VIFID/TRIFID Tool. 253-272
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/GoualardB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/GoualardB00
Frédéric Goualard, Frédéric Benhamou:
Debugging Constraint Programs by Store Inspection. 273-297
- view
  authority control:
- export record
  dblp key:
  - conf/discipl/SimonisABB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/SimonisABB00
Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau:
Complex Constraint Abstraction: Global Constraint Visualisation. 299-317

Part III. Test Cases

- view
  authority control:
- export record
  dblp key:
  - conf/discipl/SimonisCDFNT00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/discipl/SimonisCDFNT00
Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco:
Using Constraint Visualisation Tools. 321-356

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.