| Invited Papers |
| Answer Set Programming in 2010: A Personal Perspective / Enrico Pontelli |
| An Introduction to Maude and Some of Its Applications / Narciso Martí-Oliet |
| Non-Monotonic Reasoning - Answer Set Programming |
| Efficient Application of Answer Set Programming for Advanced Data Integration / Nicola Leone ; Francesco Ricca ; Luca Agostino Rubino ; Giorgio Terracina |
| Implementing Query Answering for Hybrid MKNF Knowledge Bases / Ana Sofia Gomes ; José Júlio Alferes ; Terrance Swift |
| An ASP-Based System for Team-Building in the Gioia-Tauro Seaport / Giovanni Grasso ; Salvatore Iiritano ; Vincenzino Lio ; Francesco Scalise |
| Types |
| Explicitly Typed Exceptions for Haskell / José Iborra |
| Conversion by Evaluation / Mathieu Boespflug |
| Parallelism and Distribution |
| Skeleton Composition Using Remote Data / Mischa Dieterle ; Thomas Horstmeyer ; Rita Loogen |
| Netlog, a Rule-Based Language for Distributed Programming / Stéphane Grumbach ; Fang Wang |
| Code Quality Assurance |
| Similar Code Detection and Elimination for Erlang Programs / Huiqing Li ; Simon Thompson |
| Static Detection of Race Conditions in Erlang / Maria Christakis ; Konstantinos Sagonas |
| Automating Mathematical Program Transformations / Ashish Agarwal ; Sooraj Bhat ; Alexander Gray ; Ignacio E. Grossmann |
| ActionScript In-Lined Reference Monitoring in Prolog / Meera Sridhar ; Kevin W. Hamlen |
| Domain Specific Languages |
| An Ode to Arrows / Hai Liu ; Paul Hudak |
| Lazy Combinators for Executable Specifications of General Attribute Grammars / Rahmatullah Hafiz ; Richard A. Frost |
| A Domain-Specific Language Approach to Protocol Stack Implementation / Yan Wang ; Verónica Gaspes |
| Programming Aids |
| First-Order Interactive Programming / Roly Perera |
| An ER-Based Framework for Declarative Web Programming / Michael Hanus ; Sven Koschnicke |
| Constraints |
| Lazy Explanations for Constraint Propagators / Ian P. Gent ; Ian Miguel ; Neil C. A. Moore |
| On the Implementation of the CLP (BN) Language / Vítor Santos Costa |
| Tabling - Agents |
| Compact Lists for Tabled Evaluation / João Raimundo ; Ricardo Rocha |
| A Simple and Efficient Implementation of Concurrent Local Tabling / Rui Marques ; José Cunha |
| An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives / Miguel Areias |
| Prospective Storytelling Agents / Gonçalo Lopes ; Luís Moniz Pereira |
| Author Index |
| Invited Papers |
| Answer Set Programming in 2010: A Personal Perspective / Enrico Pontelli |
| An Introduction to Maude and Some of Its Applications / Narciso Martí-Oliet |
ＥＢ
