03407nam 2200637 450 99646584490331620220816205224.01-280-85308-597866108530833-540-69611-310.1007/978-3-540-69611-7(CKB)1000000000284135(EBL)3036595(SSID)ssj0000225581(PQKBManifestationID)11192095(PQKBTitleCode)TC0000225581(PQKBWorkID)10233520(PQKB)11285537(DE-He213)978-3-540-69611-7(MiAaPQ)EBC3036595(MiAaPQ)EBC6806129(Au-PeEL)EBL6806129(OCoLC)1285783222(PPN)123726638(EXLCZ)99100000000028413520220816d2007 uy 0engur|n|---|||||txtccrPractical aspects of declarative languages 9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings /Michael Hanus (editor)1st ed. 2007.Berlin, Heidelberg :Springer-Verlag,[2007]©20071 online resource (343 p.)Lecture Notes in Computer Science ;4354International conference proceedings.3-540-69608-3 Includes bibliographical references and index.QuickCheck 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.Lecture notes in computer science ;4354.Programming languages (Electronic computers)SemanticsCongressesProgramming languages (Electronic computers)SemanticsProgramming languages (Electronic computers)SemanticsProgramming languages (Electronic computers)Semantics.005.131Hanus Michael1959-1227460PADL 2007MiAaPQMiAaPQMiAaPQBOOK996465844903316Practical aspects of declarative languages2906364UNISA