9. PADL 2007:
Nice,
France
Michael Hanus (Ed.):
Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007.
Lecture Notes in Computer Science 4354 Springer 2007, ISBN 978-3-540-69608-7 
- 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 Joins Concurrency Library.
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
Last update Tue Feb 14 04:08:44 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
