Accepted Papers

• Rafael Caballero, Yolanda Garcia-Ruiz and Fernando Saenz-Perez
Integrating XPath with the Functional-Logic Language Toy
• Pedro Salgueiro, Daniel Diaz, Isabel Brito and Salvador Abreu
Using Constraints for Intrusion Detection: the NeMODe System
• Chaitanya Belwal and Albert Cheng
Determining Actual Response Time in P-FRP
• Timothy Hinrichs
Plato: A Compiler for Interactive Web Forms
• Dominique Devriese and Frank Piessens
Explicitly Recursive Grammar Combinators - A better model for shallow parser DSLs
• Tomas Petricek and Don Syme
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
• Edison Mera, Teresa Trigo, Pedro Lopez-Garcia and Manuel Hermenegildo
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs
• Jan Christiansen
Sloth – A Tool for Checking Minimal-Strictness
• Neil Brown
Combinators for Message-Passing in Haskell
• Don Syme, Tomas Petricek and Dmitry Lomov
The F# Asynchronous Programming Model
• Pavel Krajcevski and John Reppy
A Declarative API for Particle Systems
• Thomas Eiter, Thomas Krennwallner and Christoph Redl
Declarative Belief Set Merging using Merging Plans
• Theofrastos Mantadelis, Koosha Paridel, Gerda Janssens, Yves Vanrompay and Yolande Berbers
Analysing a Publish/Subscribe System for Mobile Ad hoc Networks with ProbLog
• Jan Wielemaker and Vítor Santos Costa
On the Portability of Prolog Applications
• Andreas Voellmy and Paul Hudak
Nettle: Taking the Sting Out of Programming Network Routers
• Paul Fodor, Darko Anicic and Sebastian Rudolph
Results on Out-of-Order Event Processing
• Eric Holk, William Byrd, Jeremiah Willcock, Torsten Hoefler, Arun Chauhan and Andrew Lumsdaine
Kanor: A Declarative Language for Explicit Communication
• Maria Christakis and Konstantinos Sagonas
Detection of Asynchronous Message-Passing Errors Using Static Analysis