LEADER 04719nam 22008295 450 001 9910484424503321 005 20251226203831.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(Association for Computing Machinery)10.5555/2174020 035 $a(MiAaPQ)EBC302131 035 $a(BIP)46091745 035 $a(BIP)13947301 035 $a(EXLCZ)991000000000284135 100 $a20100301d2007 u| 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 /$fedited by Michael Hanus 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (343 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4354 300 $aInternational conference proceedings. 311 08$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. 330 $aThis book constitutes the refereed proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages, PADL 2007, held in Nice, France, in January 2007, colocated with POPL 2007, the Symposium on Principles of Programming Languages. The 19 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 58 submissions. All current aspects of declarative programming are addressed including implementational issues and innovative applications in areas such as database management, software engineering, functional logic, decision support systems, constraint programming, model checking, probabilistic programming, Java and Prolog programming. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4354 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputer science 606 $aSoftware engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 615 0$aCompilers (Computer programs) 615 0$aComputer programming. 615 0$aComputer science. 615 0$aSoftware engineering. 615 14$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 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 $a9910484424503321 996 $aPractical aspects of declarative languages$92906364 997 $aUNINA