Practical Aspects of Declarative Languages

11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings

  • Andy Gill
  • Terrance Swift
Conference proceedings PADL 2009

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

Table of contents

  1. Front Matter
  2. Invited Talk

    1. Luís Moniz Pereira, Pierangelo Dell’Acqua, Gonçalo Lopes
      Pages 1-15
  3. User Interfaces and Environments

    1. Michael Hanus, Christof Kluß
      Pages 16-30
    2. D. J. Duke, R. Borgo, M. Wallace, C. Runciman
      Pages 31-45
    3. Carl Eastlund, Matthias Felleisen
      Pages 46-60
  4. Networks and Data

    1. Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky
      Pages 61-75
    2. Juan A. Navarro, Andrey Rybalchenko
      Pages 76-90
    3. Qian Xi, Kathleen Fisher, David Walker, Kenny Q. Zhu
      Pages 91-106
  5. Multi-threading and Parallelism

    1. Paulo Moura, Ricardo Rocha, Sara C. Madeira
      Pages 107-121
    2. Atef Suleiman, John Miller
      Pages 122-136
    3. Paul Tarau, Arun Majumdar
      Pages 137-151
  6. Databases and Large Data Sets

    1. David Zook, Emir Pasalic, Beata Sarna-Starosta
      Pages 168-182
    2. Ketil Malde, Bryan O’Sullivan
      Pages 183-194
  7. Tabling and Optimization

    1. Jorge Costa, Ricardo Rocha
      Pages 195-208
    2. Roman Leshchinskiy
      Pages 209-223
    3. Pablo Chico de Guzman, Manuel Carro, Manuel V. Hermenegildo
      Pages 224-238
  8. Language Extensions and Implementation

    1. Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son
      Pages 239-253
    2. Luís Moniz Pereira, Alexandre Miguel Pinto
      Pages 254-268
    3. Paulo Moura
      Pages 269-283

About these proceedings


This book constitutes the refereed proceedings of the 11th International
Symposium on Practical Aspects of Declarative Languages, PADL 2009, held
in Savannah, GA, USA, in January 2009, colocated with POPL 2009, the
Symposium on Principles of Programming Languages.

The 18 revised full papers presented together with 1 invited talk were
carefully reviewed and selected from 48 submissions. The volume features
original work emphasizing novel applications and implementation
techniques for all forms of declarative concepts, including functions,
relations, logic, and constraints. The papers address all current
aspects of declarative programming; they are organized in topical
sections on user interfaces and environments, networks and data,
multi-threading and parallelism, databases and large data sets, tabling
and optimization, as well as language extensions and implementation.


agent oriented programming answer set programming concurrency database decision making declarative languages declarative networking declarative programming distributed syste logic optimization programming programming language verification visualization

Editors and affiliations

  • Andy Gill
    • 1
  • Terrance Swift
    • 2
  1. 1.University of KansasLawrenceUSA
  2. 2.Universidade Nova de Lisboa, CENTRIASheperdstownUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-92994-9
  • Online ISBN 978-3-540-92995-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book