Skip to main content
SpringerLink
Log in
Book cover

Practical Aspects of Declarative Languages

12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Manuel Carro

    1. Facultad de Informática, Univrsidad Politécnica de Madrid (UPM), Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ricardo Peña

    1. Facultad de Informática, Universidad Complutense de Madrid (UPM), Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5937)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Answer Set Programming in 2010: A Personal Perspective

      • Enrico Pontelli
      Pages 1-3

    2. An Introduction to Maude and Some of Its Applications

      • Narciso Martí-Oliet
      Pages 4-9

  3. Non-Monotonic Reasoning - Answer Set Programming

    1. Efficient Application of Answer Set Programming for Advanced Data Integration

      • Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina
      Pages 10-24

    2. Implementing Query Answering for Hybrid MKNF Knowledge Bases

      • Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
      Pages 25-39

    3. An ASP-Based System for Team-Building in the Gioia-Tauro Seaport

      • Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise
      Pages 40-42

  4. Types

    1. Explicitly Typed Exceptions for Haskell

      • José Iborra
      Pages 43-57

    2. Conversion by Evaluation

      • Mathieu Boespflug
      Pages 58-72

  5. Parallelism and Distribution

    1. Skeleton Composition Using Remote Data

      • Mischa Dieterle, Thomas Horstmeyer, Rita Loogen
      Pages 73-87

    2. Netlog, a Rule-Based Language for Distributed Programming

      • Stéphane Grumbach, Fang Wang
      Pages 88-103

  6. Code Quality Assurance

    1. Similar Code Detection and Elimination for Erlang Programs

      • Huiqing Li, Simon Thompson
      Pages 104-118

    2. Static Detection of Race Conditions in Erlang

      • Maria Christakis, Konstantinos Sagonas
      Pages 119-133

    3. Automating Mathematical Program Transformations

      • Ashish Agarwal, Sooraj Bhat, Alexander Gray, Ignacio E. Grossmann
      Pages 134-148

    4. ActionScript In-Lined Reference Monitoring in Prolog

      • Meera Sridhar, Kevin W. Hamlen
      Pages 149-151

  7. Domain Specific Languages

    1. An Ode to Arrows

      • Hai Liu, Paul Hudak
      Pages 152-166

    2. Lazy Combinators for Executable Specifications of General Attribute Grammars

      • Rahmatullah Hafiz, Richard A. Frost
      Pages 167-182

    3. A Domain-Specific Language Approach to Protocol Stack Implementation

      • Yan Wang, Verónica Gaspes
      Pages 183-185

  8. Programming Aids

    1. First-Order Interactive Programming

      • Roly Perera
      Pages 186-200

    2. An ER-Based Framework for Declarative Web Programming

      • Michael Hanus, Sven Koschnicke
      Pages 201-216

  9. Constraints

    1. Lazy Explanations for Constraint Propagators

      • Ian P. Gent, Ian Miguel, Neil C. A. Moore
      Pages 217-233
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid, Spain, in January 2010, colocated with POPL 2010, the Symposium on Principles of Programming Languages. The 22 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 58 submissions. The volume features original work emphasizing novel applications and implementation techniques for all forms of clarative concepts, including functions, relations, logic, and constraints. The papers address all current aspects of declarative programming; they are organized in topical sections on non-monotonic reasoning - answer set programming, types, parallelism and distribution, code quality assurance, domain specific languages, programming aids, constraints, and tabling - agents.

Editors and Affiliations

  • Facultad de Informática, Univrsidad Politécnica de Madrid (UPM), Madrid, Spain

    Manuel Carro

  • Facultad de Informática, Universidad Complutense de Madrid (UPM), Madrid, Spain

    Ricardo Peña

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation