Skip to main content
  • Conference proceedings
  • © 2010

Practical Aspects of Declarative Languages

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

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

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

Conference series link(s): PADL: International Symposium on Practical Aspects of Declarative Languages

Conference proceedings info: PADL 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (24 papers)

  1. Front Matter

  2. Invited Papers

  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
  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

Other Volumes

  1. Practical Aspects of Declarative Languages

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.

Keywords

  • Constraint
  • Haskell programming
  • code generation
  • communication software
  • concurrency
  • constraint programming
  • decision making
  • declarative languages
  • declarative networking
  • distributed systems
  • functional programming
  • logic
  • programming
  • programming language
  • quality assurance

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions