Accepted papers

• A Domain-Specific Language Approach to Protocol Stack Implementation.
Yan Wang and Veronica Gaspes.
• A Simple and Efficient Implementation of Concurrent Local Tabling.
Rui Marques and Terrance Swift.
• ActionScript In-lined Reference Monitoring in Prolog.
Meera Sridhar and Kevin Hamlen.
• An ASP-based System for Team-building in the Gioia-Tauro Seaport.
Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca and Vincenzino Lio.
• An ER-based Framework for Declarative Web Programming.
Michael Hanus and Sven Koschnicke.
• An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives.
Miguel Areias and Ricardo Rocha.
• An Ode to Arrows.
Hai Liu and Paul Hudak.
• Automating Mathematical Program Transformations.
Ashish Agarwal, Sooraj Bhat, Alexander Gray and Ignacio Grossmann.
• Compact Lists for Tabled Evaluation.
João Raimundo and Ricardo Rocha.
• Conversion by Evaluation.
Mathieu Boespflug.
• Efficient Application of Answer Set Programming for Advanced Data Integration.
Nicola Leone, Francesco Ricca and Terracina Giorgio.
• Explicitly Typed Exceptions for Haskell.
José Iborra.
• First-order interactive programming.
Roly Perera.
• Implementing Query Answering for Hybrid MKNF Knowledge Bases.
Ana Sofia Gomes, Jose Julio Alferes and Terrance Swift.
• Lazy Combinators for Executable Specifications of General Attribute Grammars.
Rahmatullah Hafiz and Richard A. Frost.
• Lazy explanations for constraint propagators.
Neil C.A. Moore, Ian P. Gent and Ian Miguel.
• Netlog, a Rule-based Language for Distributed Programming.
Stephane Grumbach and Fang Wang.
• On the implementation of the CLP(BN) Language.
Vítor Santos Costa.
• Prospective Storytelling Agents.
Gonçalo Lopes and Luís Moniz Pereira.
• Similar Code Detection and Elimination for Erlang Programs.
Huiqing Li and Simon Thompson.
• Skeleton Composition using Remote Data.
Mischa Dieterle, Thomas Horstmeyer and Rita Loogen.
• Static Detection of Race Conditions in Erlang.
Maria Christakis and Konstantinos Sagonas.