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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
1870 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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 |
| LEADER | 04920nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 969497 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155174460 | ||
| 020 | |a 9783540400165 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.11 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Deransart, Pierre, |d 1945-...., |c informaticien. | |
| 245 | 1 | 0 | |a Analysis and visualization tools for constraint programming : |b constraint debugging |c [edited by] Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1870 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 constraints. The decision variables may be the time when production of a particular lot will start or the plane that a maintenance crew will be working on at a given time. Constraints may range from the number of students you can ?t in a given classroom to the time it takes to transfer a lot from one plant to another.Despiteadvancesincomputingpower,manyformsoftheseandother combinatorial problems have continued to defy conventional programming approaches. Constraint Logic Programming (CLP) ?rst emerged in the mid-eighties as a programming technique with the potential of signi?cantly reducing the time it takes to develop practical solutions to many of these problems, by combining the expressiveness of languages such as Prolog with the compu- tional power of constrained search. While the roots of CLP can be traced to Monash University in Australia, it is without any doubt in Europe that this new software technology has gained the most prominence, bene?ting, among other things, from sustained funding from both industry and public R&D programs over the past dozen years. These investments have already paid o?, resulting in a number of popular commercial solutions as well as the creation of several successful European startups. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Programmation par contraintes | ||
| 700 | 1 | |a Hermenegildo, Manuel. |4 pbd | |
| 700 | 1 | |a Małuszyński, Jan, |d 1941- |4 pbd | |
| 776 | 0 | |0 052364364 |t Analysis and visualization tools for constraint programming |o constraint debugging |f Pierre Deransart, M. Hermenegildo, J. Małuszyński (eds.) |d 2000 |c New York |n Springer |p 1 vol. (XXI-363 p.) |s Lecture notes in computer science |z 3-540-41137-2 | |
| 776 | 0 | |t Analysis and Visualization Tools for Constraint Programming |b Texte imprimé |z 9783662202395 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/10722311 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-RZT256MQ-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:75060168X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/10722311 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753962136 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/10722311 |z Accès INSA CVL | |
| 997 | |0 969497 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||