| 2007 | A larger decidable semiunification problem. Brad Lushman, Gordon V. Cormack |
| 2007 | A simple rewrite notion for call-time choice semantics. Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
| 2007 | Computing with subspaces. Sergio Antoy, Bernd Braßel |
| 2007 | Detecting defects in Erlang programs using static analysis. Konstantinos Sagonas |
| 2007 | Efficient trust management policy analysis from rules. Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu |
| 2007 | Feasible reactivity in a synchronous Pi-calculus. Roberto M. Amadio, Frédéric Dabrowski |
| 2007 | Formalizing and verifying semantic type soundness of a simple compiler. Nick Benton, Uri Zarfaty |
| 2007 | Higher-order semantic labelling for inductive datatype systems. Makoto Hamana |
| 2007 | Induction for positive almost sure termination. Isabelle Gnaedig |
| 2007 | Interactive, scalable, declarative program analysis: from prototype to implementation. William C. Benton, Charles N. Fischer |
| 2007 | Local reasoning about storable locks. Josh Berdine |
| 2007 | Mechanized metatheory model-checking. James Cheney, Alberto Momigliano |
| 2007 | Nonmonotonic inductive logic programming by instance patterns. Chongbing Liu, Enrico Pontelli |
| 2007 | Observing intermediate structures in a parallel lazy functional language. Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero |
| 2007 | Practical use of polynomials over the reals in proofs of termination. Salvador Lucas |
| 2007 | Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland Michael Leuschel, Andreas Podelski |
| 2007 | Putting declarative programming into the web: translating curry to javascript. Michael Hanus |
| 2007 | Real-time rewriting semantics of orc. Musab AlTurki, José Meseguer |
| 2007 | Regular directional types for logic programs. Witold Charatonik |
| 2007 | Relational semantics for effect-based program transformations with dynamic allocation. Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2007 | Systematic generation of glass-box test cases for functional logic programs. Sebastian Fischer, Herbert Kuchen |
| 2007 | Type safe dynamic linking for JVM access control. Christian Skalka |
| 2007 | Unfolding in CHR. Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo |
| 2007 | User-definable rule priorities for CHR. Leslie De Koninck, Tom Schrijvers, Bart Demoen |