LEADER 05472nam 22007335 450 001 9910767559703321 005 20200701084624.0 010 $a3-540-40016-8 024 7 $a10.1007/10722311 035 $a(CKB)1000000000548785 035 $a(SSID)ssj0000321266 035 $a(PQKBManifestationID)11255496 035 $a(PQKBTitleCode)TC0000321266 035 $a(PQKBWorkID)10264100 035 $a(PQKB)10608367 035 $a(DE-He213)978-3-540-40016-5 035 $a(MiAaPQ)EBC3089103 035 $a(PPN)155174460 035 $a(EXLCZ)991000000000548785 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAnalysis and Visualization Tools for Constraint Programming $eConstraint Debugging /$fedited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (XXII, 370 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1870 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-41137-2 320 $aIncludes bibliographical references and index. 327 $aDebugging 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. 330 $aCoordinating 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1870 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aMathematical logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1/1 702 $aDeransart$b Pierre$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHermenegildo$b M.V$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMaluszynski$b J$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910767559703321 996 $aAnalysis and Visualization Tools for Constraint Programming$92262774 997 $aUNINA