Abstract is missing.
- Invited talk: the blast query language for software verificationDirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar. 1-2 [doi]
- Invited talk: towards declarative programming for web servicesSheila A. McIlraith. 3-4 [doi]
- Invited talk: what s the future for proof-carrying code?J. Gregory Morrisett. 5 [doi]
- Invited talk: injecting life with computersEhud Y. Shapiro. 6 [doi]
- Invited talk: program generators and the tools to make themYannis Smaragdakis. 7-8 [doi]
- A logic programming approach to the verification of functional-logic programsJosé Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas. 9-19 [doi]
- Model checking object petri nets in prologBerndt Farwer, Michael Leuschel. 20-31 [doi]
- Semantics of the ::::reFL:::ect::::::: languageSava Krstic, John Matthews. 32-42 [doi]
- A lazy narrowing calculus for declarative constraint programmingFrancisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda. 43-54 [doi]
- Providing declarative semantics for HH extended constraint logic programsMiguel García-Díaz, Susana Nieva. 55-66 [doi]
- Constraint-set satisfiability for overloadingCarlos Camarão, Lucília Figueiredo, Cristiano Vasconcellos. 67-77 [doi]
- Just enough tablingKonstantinos F. Sagonas, Peter J. Stuckey. 78-89 [doi]
- Semi-naive evaluation in linear tablingNeng-Fa Zhou, Yi-Dong Shen, Taisuke Sato. 90-97 [doi]
- Active integrity constraintsSergio Flesca, Sergio Greco, Ester Zumpano. 98-107 [doi]
- Nominal rewriting systemsMaribel Fernández, Murdoch Gabbay, Ian Mackie. 108-119 [doi]
- New completeness results for lazy conditional narrowingMircea Marin, Aart Middeldorp. 120-131 [doi]
- Type inference with expansion variables and intersection types in system E and an exact correspondence with beta-reductionSébastien Carlier, J. B. Wells. 132-143 [doi]
- Formalization and abstract implementation of rewriting with nested rulesSergio Antoy, Stephen Johnson. 144-154 [doi]
- Characterizing strong normalization in a language with control operatorsDaniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne. 155-166 [doi]
- iRho: an imperative rewriting calculusLuigi Liquori, Bernard P. Serpette. 167-178 [doi]
- A semantics for tracing declarative multi-paradigm programsBernd Brassel, Michael Hanus, Frank Huch, Germán Vidal. 179-190 [doi]
- A compositional logic for polymorphic higher-order functionsKohei Honda, Nobuko Yoshida. 191-202 [doi]
- Scheme fair threadsManuel Serrano, Frédéric Boussinot, Bernard P. Serpette. 203-214 [doi]
- Adventures in interoperability: the SML.NET experienceNick Benton, Andrew Kennedy, Claudio V. Russo. 215-226 [doi]
- JIAD: a tool to infer design patterns in refactoringJ. Rajesh, D. Janakiram. 227-237 [doi]
- Event choice datalog: a logic programming language for reasoning in multiple dimensionsGianluigi Greco, Antonella Guzzo, Domenico Saccà, Francesco Scarcello. 238-249 [doi]