9. PADL 2007: Nice, France

• John Hughes:
  QuickCheck Testing for Fun and Profit. 1-32
  
• Pedro Barahona, Ludwig Krippahl:
  A Constraint Programming Approach to Bioinformatics Structural Problems. 33-49
  
• Duncan Coutts, Don Stewart, Roman Leshchinskiy:
  Rewriting Haskell Strings. 50-64
  
• Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki:
  Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. 65-79
  
• Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller:
  Algebraic Knowledge Discovery Using Haskell. 80-93
  
• Per Gustafsson, Konstantinos F. Sagonas:
  Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. 94-108
  
• Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann:
  Automatic Incrementalization of Prolog Based Static Analyses. 109-123
  
• Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla:
  Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. 124-139
  
• Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
  Combining Static Analysis and Profiling for Estimating Execution Times. 140-154
  
• Ricardo Rocha:
  On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. 155-169
  
• Beata Sarna-Starosta, C. R. Ramakrishnan:
  Compiling Constraint Handling Rules for Efficient Tabled Evaluation. 170-184
  
• Vítor Santos Costa:
  Prolog Performance on Larger Datasets. 185-199
  
• Alan H. Bond:
  BAD, a Declarative Logic-Based Language for Brain Modeling. 200-214
  
• Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace:
  From Zinc to Design Model. 215-229
  
• Chongbing Liu, Enrico Pontelli:
  Inductive Logic Programming by Instance Patterns. 230-244
  
• Andreas Podelski, Andrey Rybalchenko:
  ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. 245-259
  
• Claudio V. Russo:
  The. 260-274
  
• Liwen Huang, Paul Hudak, John Peterson:
  HPorter: Using Arrows to Compose Parallel Processes. 275-289
  
• Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser:
  Coupled Schema Transformation and Data Conversion for XML and SQL. 290-304
  
• Chuck C. Liang:
  Aspect-Oriented Programming in Higher-Order and Linear Logic. 305-319
  
• Karl Klose, Klaus Ostermann, Michael Leuschel:
  Partial Evaluation of Pointcuts. 320-334