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