LEADER 03407nam 2200637 450 001 996465844903316 005 20220816205224.0 010 $a1-280-85308-5 010 $a9786610853083 010 $a3-540-69611-3 024 7 $a10.1007/978-3-540-69611-7 035 $a(CKB)1000000000284135 035 $a(EBL)3036595 035 $a(SSID)ssj0000225581 035 $a(PQKBManifestationID)11192095 035 $a(PQKBTitleCode)TC0000225581 035 $a(PQKBWorkID)10233520 035 $a(PQKB)11285537 035 $a(DE-He213)978-3-540-69611-7 035 $a(MiAaPQ)EBC3036595 035 $a(MiAaPQ)EBC6806129 035 $a(Au-PeEL)EBL6806129 035 $a(OCoLC)1285783222 035 $a(PPN)123726638 035 $a(EXLCZ)991000000000284135 100 $a20220816d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aPractical aspects of declarative languages $e9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings /$fMichael Hanus (editor) 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer-Verlag,$d[2007] 210 4$dİ2007 215 $a1 online resource (343 p.) 225 1 $aLecture Notes in Computer Science ;$v4354 300 $aInternational conference proceedings. 311 $a3-540-69608-3 320 $aIncludes bibliographical references and index. 327 $aQuickCheck Testing for Fun and Profit -- A Constraint Programming Approach to Bioinformatics Structural Problems -- Rewriting Haskell Strings -- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning -- Algebraic Knowledge Discovery Using Haskell -- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang -- Automatic Incrementalization of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation -- Compiling Constraint Handling Rules for Efficient Tabled Evaluation -- Prolog Performance on Larger Datasets -- BAD, a Declarative Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming by Instance Patterns -- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement -- The Joins Concurrency Library -- HPorter: Using Arrows to Compose Parallel Processes -- Coupled Schema Transformation and Data Conversion for XML and SQL -- Aspect-Oriented Programming in Higher-Order and Linear Logic -- Partial Evaluation of Pointcuts. 410 0$aLecture notes in computer science ;$v4354. 606 $aProgramming languages (Electronic computers)$xSemantics$vCongresses 606 $aProgramming languages (Electronic computers)$xSemantics 615 0$aProgramming languages (Electronic computers)$xSemantics 615 0$aProgramming languages (Electronic computers)$xSemantics. 676 $a005.131 700 $aHanus$b Michael$f1959-$01227460 712 12$aPADL 2007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465844903316 996 $aPractical aspects of declarative languages$92906364 997 $aUNISA