| 2004 | Invited talk: program generators and the tools to make them. | Yannis Smaragdakis |
| 2004 | Invited talk: injecting life with computers. | Ehud Shapiro |
| 2004 | Scheme fair threads. | Manuel Serrano, Frdric Boussinot, Bernard P. Serpette |
| 2004 | Just enough tabling. | Konstantinos Sagonas, Peter J. Stuckey |
| 2004 | JIAD: a tool to infer design patterns in refactoring. | J. Rajesh, D. Janakiram |
| 2004 | Invited talk: what's the future for proof-carrying code? | J. Gregory Morrisett |
| 2004 | Invited talk: towards declarative programming for web services. | Sheila A. McIlraith |
| 2004 | New completeness results for lazy conditional narrowing. | Mircea Marin, Aart Middeldorp |
| 2004 | A lazy narrowing calculus for declarative constraint programming. | Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2004 | iRho: an imperative rewriting calculus. | Luigi Liquori, Bernard P. Serpette |
| 2004 | Semantics of the | Sava Krstic, John Matthews |
| 2004 | A compositional logic for polymorphic higher-order functions. | Kohei Honda, Nobuko Yoshida |
| 2004 | Event choice datalog: a logic programming language for reasoning in multiple dimensions. | Gianluigi Greco, Antonella Guzzo, Domenico Sacc, Francesco Scarcello |
| 2004 | Providing declarative semantics for HH extended constraint logic programs. | Miguel Garca-Daz, Susana Nieva |
| 2004 | Active integrity constraints. | Sergio Flesca, Sergio Greco, Ester Zumpano |
| 2004 | Nominal rewriting systems. | Maribel Fernndez, Murdoch Gabbay, Ian Mackie |
| 2004 | Model checking object petri nets in prolog. | Berndt Farwer, Michael Leuschel |
| 2004 | Characterizing strong normalization in a language with control operators. | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
| 2004 | A logic programming approach to the verification of functional-logic programs. | Jos Miguel Cleva, Javier Leach, Francisco Javier Lpez-Fraguas |
| 2004 | Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reduction. | Sbastien Carlier, J. B. Wells |
| 2004 | Constraint-set satisfiability for overloading. | Carlos Camaro, Luclia Figueiredo, Cristiano D. Vasconcellos |
| 2004 | A semantics for tracing declarative multi-paradigm programs. | Bernd Brassel, Michael Hanus, Frank Huch, Germn Vidal |
| 2004 | Invited talk: the blast query language for software verification. | Dirk Beyer, Adam Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
| 2004 | Adventures in interoperability: the SML.NET experience. | Nick Benton, Andrew Kennedy, Claudio V. Russo |
| 2004 | Formalization and abstract implementation of rewriting with nested rules. | Sergio Antoy, Stephen Johnson |