Analysis and visualization tools for constraint programming : constraint debugging
Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraint...
Kaydedildi:
| Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
1870 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Analysis and visualization tools for constraint programming, constraint debugging, Pierre Deransart, M. Hermenegildo, J. Małuszyński (eds.), 2000, New York, Springer, 1 vol. (XXI-363 p.), Lecture notes in computer science, 3-540-41137-2 • Analysis and Visualization Tools for Constraint Programming, Texte imprimé, 9783662202395 |
İçindekiler:
- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools
- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools
- I. Correctness Debugging
- An Assertion Language for Constraint Logic Programs
- A Generic Preprocessor for Program Validation and Debugging
- Assertions with Constraints for CLP Debugging
- Locating Type Errors in Untyped CLP Programs
- Declarative Diagnosis in the CLP Scheme
- II. Performance Debugging
- Visual Tools to Debug Prolog IV Programs
- Search-Tree Visualisation
- Towards a Language for CLP Choice-Tree Visualisation
- Tools for Search-Tree Visualisation: The APT Tool
- Tools for Constraint Visualisation: The VIFID/TRIFID Tool
- Debugging Constraint Programs by Store Inspection
- Complex Constraint Abstraction: Global Constraint Visualisation
- III. Test Cases
- Using Constraint Visualisation Tools.