| 2005 | A compositional semantics for CHR. Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2005 | A gentle introduction to semantic subtyping. Giuseppe Castagna, Alain Frisch |
| 2005 | A new calculus of contexts. Murdoch Gabbay |
| 2005 | A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu |
| 2005 | Abstract interpretation for constraint handling rules. Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck |
| 2005 | Abstraction carrying code and resource-awareness. Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla |
| 2005 | Automatic type inference via partial evaluation. Aaron Tomb, Cormac Flanagan |
| 2005 | Efficiently compiling a functional language on AMD64: the HiPE experience. Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
| 2005 | Formal validation of pattern matching code. Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles |
| 2005 | Heuristics, optimizations, and parallelism for protein structure prediction in CLP( Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli |
| 2005 | Incremental and demand-driven points-to analysis using logic programming. Diptikalyan Saha, C. R. Ramakrishnan |
| 2005 | Inverting abstract unification for set-sharing. Xuan Li, Lunjin Lu |
| 2005 | Isolation-only transactions by typing and versioning. Pawel T. Wojciechowski |
| 2005 | Monadic concurrent linear logic programming. Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins |
| 2005 | Nominal rewriting with name generation: abstraction vs. locality. Maribel Fernández, Murdoch Gabbay |
| 2005 | Optimization with mode-directed preferences. Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu |
| 2005 | Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal Pedro Barahona, Amy P. Felty |
| 2005 | Program transformation by templates based on term rewriting. Yuki Chiba, Takahito Aoto, Yoshihito Toyama |
| 2005 | ReactiveML: a reactive extension to ML. Louis Mandel, Marc Pouzet |
| 2005 | Security analysis of network protocols: logical and computational methods. John C. Mitchell |
| 2005 | Security policy in a declarative style. Rachid Echahed, Frédéric Prost |
| 2005 | Self-tuning resource aware specialisation for prolog. Stephen-John Craig, Michael Leuschel |
| 2005 | Timed constraint programming: a declarative approach to usage control. Radha Jagadeesan, Will Marrero, Corin Pitcher, Vijay A. Saraswat |
| 2005 | Trace effects and object orientation. Christian Skalka |