| 2009 | A declarative encoding of telecommunications feature subscription in SAT. Michael Codish, Samir Genaim, Peter J. Stuckey |
| 2009 | A declarative semantics for Bousi~Prolog. Pascual Julián Iranzo, Clemente Rubio-Manzano |
| 2009 | A dynamically customizable process-centered evaluation model. Silvia Clerici, Cristina Zoltan |
| 2009 | A framework for abstract interpretation of timed concurrent constraint programs. Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
| 2009 | A higher-order logical framework for the algorithmic debugging and verification of declarative programs. Rafael del Vado Vírseda |
| 2009 | A logical framework for configuration software. Hanne Vlaeminck, Joost Vennekens, Marc Denecker |
| 2009 | Algorithmic specifications in linear logic with subexponentials. Vivek Nigam, Dale Miller |
| 2009 | Alternation as a programming paradigm. Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran |
| 2009 | An Isabelle/HOL-based model of stratego-like traversal strategies. Markus Kaiser, Ralf Lämmel |
| 2009 | An embedded declarative data transformation language. Paul Tarau |
| 2009 | Automatic refactoring of Erlang programs. Konstantinos Sagonas, Thanassis Avgerinos |
| 2009 | Context-based proofs of termination for typed delimited-control operators. Malgorzata Biernacka, Dariusz Biernacki |
| 2009 | Dependent type inference with interpolants. Hiroshi Unno, Naoki Kobayashi |
| 2009 | Foundations of session types. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani |
| 2009 | Future contracts. Christos Dimoulas, Riccardo Pucella, Matthias Felleisen |
| 2009 | Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
| 2009 | L2C2: logic-based LSC consistency checking. Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
| 2009 | Language support for processing distributed ad hoc data. Kenny Qili Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek S. Pai, David Walker |
| 2009 | Making induction manifest in modular ACL2. Carl Eastlund, Matthias Felleisen |
| 2009 | Model-checking higher-order functions. Naoki Kobayashi |
| 2009 | On the expressive power of priorities in CHR. Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo |
| 2009 | Path-sensitive region analysis for mercury programs. Quan Phan, Gerda Janssens |
| 2009 | Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal António Porto, Francisco Javier López-Fraguas |
| 2009 | Reasoning with hypothetical judgments and open terms in hybrid. Amy P. Felty, Alberto Momigliano |
| 2009 | Relational semantics for effect-based program transformations: higher-order store. Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2009 | Scrap your boilerplate: prologically! Ralf Lämmel |
| 2009 | Session types for linear multithreaded functional programming. Vasco Thudichum Vasconcelos |
| 2009 | Set functions for functional logic programming. Sergio Antoy, Michael Hanus |
| 2009 | The RPC calculus. Ezra Cooper, Philip Wadler |