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