Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Hanus, Michael (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4354
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Logics and Meanings of Programs.; Software Engineering.

Table of Contents:

• 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.