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

John Hughes (auth.), Michael Hanus (eds.)3540696083, 9783540696087, 9783540696117

This 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, co-located with POPL 2007, the Symposium on Principles of Programming Languages.

The 19 revised full papers presented together with two 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.

---

Table of contents :
Front Matter….Pages –
QuickCheck Testing for Fun and Profit….Pages 1-32
A Constraint Programming Approach to Bioinformatics Structural Problems….Pages 33-49
Rewriting Haskell Strings….Pages 50-64
Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning….Pages 65-79
Algebraic Knowledge Discovery Using Haskell….Pages 80-93
Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang….Pages 94-108
Automatic Incrementalization of Prolog Based Static Analyses….Pages 109-123
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs….Pages 124-139
Combining Static Analysis and Profiling for Estimating Execution Times….Pages 140-154
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation….Pages 155-169
Compiling Constraint Handling Rules for Efficient Tabled Evaluation….Pages 170-184
Prolog Performance on Larger Datasets….Pages 185-199
BAD, a Declarative Logic-Based Language for Brain Modeling….Pages 200-214
From Zinc to Design Model….Pages 215-229
Inductive Logic Programming by Instance Patterns….Pages 230-244
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement….Pages 245-259
The Joins Concurrency Library….Pages 260-274
HPorter: Using Arrows to Compose Parallel Processes….Pages 275-289
Coupled Schema Transformation and Data Conversion for XML and SQL….Pages 290-304
Aspect-Oriented Programming in Higher-Order and Linear Logic….Pages 305-319
Partial Evaluation of Pointcuts….Pages 320-334
Back Matter….Pages –