Practical Aspects of Declarative Languages

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

  • Manuel Carro
  • Ricardo Peña
Conference proceedings PADL 2010

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Non-Monotonic Reasoning - Answer Set Programming

    1. Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina
      Pages 10-24
    2. Ana Sofia Gomes, José Júlio Alferes, Terrance Swift
      Pages 25-39
    3. Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise
      Pages 40-42
  4. Types

    1. José Iborra
      Pages 43-57
    2. Mathieu Boespflug
      Pages 58-72
  5. Parallelism and Distribution

    1. Mischa Dieterle, Thomas Horstmeyer, Rita Loogen
      Pages 73-87
    2. Stéphane Grumbach, Fang Wang
      Pages 88-103
  6. Code Quality Assurance

    1. Huiqing Li, Simon Thompson
      Pages 104-118
    2. Maria Christakis, Konstantinos Sagonas
      Pages 119-133
    3. Ashish Agarwal, Sooraj Bhat, Alexander Gray, Ignacio E. Grossmann
      Pages 134-148
    4. Meera Sridhar, Kevin W. Hamlen
      Pages 149-151
  7. Domain Specific Languages

    1. Hai Liu, Paul Hudak
      Pages 152-166
    2. Rahmatullah Hafiz, Richard A. Frost
      Pages 167-182
  8. Programming Aids

    1. Roly Perera
      Pages 186-200
    2. Michael Hanus, Sven Koschnicke
      Pages 201-216
  9. Constraints

    1. Ian P. Gent, Ian Miguel, Neil C. A. Moore
      Pages 217-233
  10. Tabling - Agents

    1. João Raimundo, Ricardo Rocha
      Pages 249-263
    2. Rui Marques, Terrance Swift, José Cunha
      Pages 264-278
    3. Gonçalo Lopes, Luís Moniz Pereira
      Pages 294-296
  11. Back Matter

About these proceedings


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.


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

  • Manuel Carro
    • 1
  • Ricardo Peña
    • 2
  1. 1.Facultad de InformáticaUnivrsidad Politécnica de Madrid (UPM)MadridSpain
  2. 2.Facultad de InformáticaUniversidad Complutense de Madrid (UPM)MadridSpain

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-11502-8
  • Online ISBN 978-3-642-11503-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Oil, Gas & Geosciences