default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th PADL 2007: Nice, France
- Michael Hanus:
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 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-12 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
