Accepted Papers

• Dario Campagna, Beata Sarna-Starosta and Tom Schrijvers
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation
• Daniel Winograd-Cort, Hai Liu and Paul Hudak
Virtualizing Real-World Objects in FRP
• Jeroen Bransen, Arie Middelkoop, Atze Dijkstra and S. Doaitse Swierstra
The Kennedy-Warren algorithm revisited: ordering Attribute Grammars
• Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt and Matthias Felleisen
Typing the Numeric Tower
• Michael Lesniak
Palovca: Describing and Executing Graph Algorithms in Haskell
• Mayer Goldberg and Guy Wiener
A Declarative Approach for Software Modeling
• Pedro M. Martins, Julie A. McCann and Susan Eisenbach
The Environment as an Argument
• Sergio Antoy and Michael Hanus
Contracts and Specifications for Functional Logic Programming
• Yuliya Lierler, Shaden Smith, Mirek Truszczynski and Alex Westlund
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving
• Christian Theil Have and Henning Christiansen
Efficient tabling of structured data using indexing and program transformation
• Elvira Albert, Puri Arenas and Miguel Gomez-Zamalloa
Symbolic Execution of Concurrent Objects in CLP
• David Broman and Henrik Nilsson
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages
• Edwin Brady and Kevin Hammond
Resource-safe Systems Programming with Embedded Domain Specific Languages
• Pablo Chico De Guzmán, Amadeo Casas, Manuel Carro and Manuel Hermenegildo
A Segment-Swapping Approach for Executing Trapped Computations
• Paul Tarau
A Declarative Specification of Tree-based Symbolic Arithmetic Computations
• Marcello Balduccini and Yuliya Lierler
Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools
• Andy Gill and Bowe Neuenschwander
Handshaking in Kansas Lava using Patch Logic
• Nicholas Coleman
Distributed Policy Specification and Interpretation with Classified Advertisements
• Kenny Zhu, Kathleen Fisher and David Walker
LearnPADS++: Incremental Inference of Ad Hoc Data Formats