12. PADL 2010: Madrid, Spain

Manuel Carro, Ricardo Peña (Eds.): Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Lecture Notes in Computer Science 5937 Springer 2010, ISBN 978-3-642-11502-8

Invited Papers

Enrico Pontelli:
Answer Set Programming in 2010: A Personal Perspective. 1-3
Narciso Martí-Oliet:
An Introduction to Maude and Some of Its Applications. 4-9

Non-Monotonic Reasoning - Answer Set Programming

Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina:
Efficient Application of Answer Set Programming for Advanced Data Integration. 10-24
Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
Implementing Query Answering for Hybrid MKNF Knowledge Bases. 25-39
Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise:
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. 40-42

Types

José Iborra:
Explicitly Typed Exceptions for Haskell. 43-57
Mathieu Boespflug:
Conversion by Evaluation. 58-72

Parallelism and Distribution

Mischa Dieterle, Thomas Horstmeyer, Rita Loogen:
Skeleton Composition Using Remote Data. 73-87
Stéphane Grumbach, Fang Wang:
Netlog, a Rule-Based Language for Distributed Programming. 88-103

Code Quality Assurance

Huiqing Li, Simon J. Thompson:
Similar Code Detection and Elimination for Erlang Programs. 104-118
Maria Christakis, Konstantinos F. Sagonas:
Static Detection of Race Conditions in Erlang. 119-133
Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann:
Automating Mathematical Program Transformations. 134-148
Meera Sridhar, Kevin W. Hamlen:
ActionScript In-Lined Reference Monitoring in Prolog. 149-151

Domain Specific Languages

Hai Liu, Paul Hudak:
An Ode to Arrows. 152-166
Rahmatullah Hafiz, Richard A. Frost:
Lazy Combinators for Executable Specifications of General Attribute Grammars. 167-182
Yan Wang, Verónica Gaspes:
A Domain-Specific Language Approach to Protocol Stack Implementation. 183-185

Programming Aids

Roly Perera:
First-Order Interactive Programming. 186-200
Michael Hanus, Sven Koschnicke:
An ER-Based Framework for Declarative Web Programming. 201-216

Constraints

Ian P. Gent, Ian Miguel, Neil C. A. Moore:
Lazy Explanations for Constraint Propagators. 217-233
Vítor Santos Costa:
On the Implementation of the CLP(BN\mathcal BN) Language. 234-248

Tabling - Agents

João Raimundo, Ricardo Rocha:
Compact Lists for Tabled Evaluation. 249-263
Rui Marques, Terrance Swift, José C. Cunha:
A Simple and Efficient Implementation of Concurrent Local Tabling. 264-278
Miguel Areias, Ricardo Rocha:
An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives. 279-293
Gonçalo Lopes, Luís Moniz Pereira:
Prospective Storytelling Agents. 294-296

Last update Thu May 23 02:56:58 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page