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

About these proceedings

Introduction

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

  • 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 https://doi.org/10.1007/978-3-642-11503-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-11502-8
  • Online ISBN 978-3-642-11503-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book