| 2005 | A Full Pattern-Based Paradigm for XML Query Processing. Véronique Benzaken, Giuseppe Castagna, Cédric Miachon |
| 2005 | A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka |
| 2005 | An Ordered Logic Program Solver. Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir |
| 2005 | Building the World from First Principles: Declarative Machine Descriptions and Compiler Construction. Norman Ramsey |
| 2005 | Character-Based Cladistics and Answer Set Programming. Daniel R. Brooks, Esra Erdem, James W. Minett, Donald Ringe |
| 2005 | Code Compression. Saumya K. Debray |
| 2005 | Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. James Bailey, Peter J. Stuckey |
| 2005 | Functional Framework for Sound Synthesis. Jerzy Karczmarczuk |
| 2005 | Improved Fusion for Optimizing Generics. Artem Alimarine, Sjaak Smetsers |
| 2005 | Improving Memory Usage in the BEAM. Ricardo Lopes, Vítor Santos Costa |
| 2005 | Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings Manuel V. Hermenegildo, Daniel Cabeza |
| 2005 | Role-Based Declarative Synchronization for Reconfigurable Systems. Vlad Tanasescu, Pawel T. Wojciechowski |
| 2005 | Safe Programming with Pointers Through Stateful Views. Dengping Zhu, Hongwei Xi |
| 2005 | Solving Collaborative Fuzzy Agents Problems with CLP(FD). Susana Muñoz-Hernández, José Manuél Gómez-Pérez |
| 2005 | Solving Constraints on Sets of Spatial Objects. Jesús Manuel Almendros-Jiménez, Antonio Corral |
| 2005 | Specializing Narrowing for Timetable Generation: A Case Study. Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost |
| 2005 | The Program Inverter LRinv and Its Structure. Masahiko Kawabe, Robert Glück |
| 2005 | Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. Qian Wang, Gopal Gupta, Michael Leuschel |
| 2005 | Towards a More Practical Hybrid Probabilistic Logic Programming Framework. Emad Saad, Enrico Pontelli |
| 2005 | Type Class Directives. Bastiaan Heeren, Jurriaan Hage |