| 2007 | A Constraint Programming Approach to Bioinformatics Structural Problems. Pedro Barahona, Ludwig Krippahl |
| 2007 | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. Andreas Podelski, Andrey Rybalchenko |
| 2007 | Algebraic Knowledge Discovery Using Haskell. Jens Fisseler, Gabriele Kern-Isberner, Christoph Beierle, Andreas Koch, Christian Müller |
| 2007 | Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang. Per Gustafsson, Konstantinos Sagonas |
| 2007 | Aspect-Oriented Programming in Higher-Order and Linear Logic. Chuck C. Liang |
| 2007 | Automatic Incrementalization of Prolog Based Static Analyses. Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann |
| 2007 | BAD, a Declarative Logic-Based Language for Brain Modeling. Alan H. Bond |
| 2007 | Combining Static Analysis and Profiling for Estimating Execution Times. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | Compiling Constraint Handling Rules for Efficient Tabled Evaluation. Beata Sarna-Starosta, C. R. Ramakrishnan |
| 2007 | Coupled Schema Transformation and Data Conversion for XML and SQL. Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, Joost Visser |
| 2007 | From Zinc to Design Model. Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace |
| 2007 | HPorter: Using Arrows to Compose Parallel Processes. Liwen Huang, Paul Hudak, John Peterson |
| 2007 | Inductive Logic Programming by Instance Patterns. Chongbing Liu, Enrico Pontelli |
| 2007 | Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning. Takeshi Morimoto, Yasunao Takano, Hideya Iwasaki |
| 2007 | On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation. Ricardo Rocha |
| 2007 | Partial Evaluation of Pointcuts. Karl Klose, Klaus Ostermann, Michael Leuschel |
| 2007 | Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Michael Hanus |
| 2007 | Prolog Performance on Larger Datasets. Vítor Santos Costa |
| 2007 | QuickCheck Testing for Fun and Profit. John Hughes |
| 2007 | Rewriting Haskell Strings. Duncan Coutts, Don Stewart, Roman Leshchinskiy |
| 2007 | The Joins Concurrency Library. Claudio V. Russo |
| 2007 | Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla |