Practical Aspects of Declarative Languages

8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

  • Pascal Van Hentenryck
Conference proceedings PADL 2006

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

Table of contents

  1. Front Matter
  2. Sandrine-Dominique Gouraud, Arnaud Gotlieb
    Pages 1-15
  3. Tiago Soares, Ricardo Rocha, Michel Ferreira
    Pages 16-30
  4. Jon Sneyers, Joost Vennekens, Danny De Schreye
    Pages 60-72
  5. Luis Quesada, Peter Van Roy, Yves Deville, Raphaël Collet
    Pages 73-87
  6. Peter Hawkins, Peter J. Stuckey
    Pages 103-117
  7. Ralph Becket, Maria Garcia de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
    Pages 118-133
  8. Martin Erwig, Steve Kollmansberger
    Pages 134-149
  9. Zoltan Somogyi, Konstantinos Sagonas
    Pages 150-167
  10. Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
    Pages 168-182
  11. Jorge Navas, Francisco Bueno, Manuel Hermenegildo
    Pages 183-198
  12. Yanhong A. Liu, Scott D. Stoller
    Pages 199-214
  13. Diptikalyan Saha, C. R. Ramakrishnan
    Pages 215-229
  14. Back Matter

About these proceedings


This volume contains the papers presented at the Eighth International S- posium on Practical Aspects of Declarative Languages (PADL 2006) held on January 9-10, 2006, in Charleston, South Carolina. Information about the c- ference can be found at As is now traditional, PADL 2006 was co-located with the 33rd Annual Sym- sium on Principles of Programming Languages that was held on January 11-13, 2006. The PADL conference series is a forum for researchers and practioners to present original work emphasizing novel applications and implementation te- niques for all forms of declarative concepts. Topics of interest include, but are not limited to: – Innovative applications of declarative languages; – Declarative domain-speci?c languages and applications; – Practical applications of theoretical results; – New language developments and their impact on applications; – Evaluation of implementation techniques on practical applications; – Novel implementation techniques relevant to applications; – Novel uses of declarative languages in the classroom; – Practical experiences. This year, there were 36 submissions. Each submission was reviewed by at least three Programme Committee members. The committee decided to accept 15 papers. In addition, the programme also included three invited talks by Erik Meijer, David Roundy, and Philip Walder.


Constraint Java Prolog answer set programming code generation constraint languages constraint programming dataflow analysis declarative programming functional programming jQuery java programming logic programming prolog programming query

Editors and affiliations

  • Pascal Van Hentenryck
    • 1
  1. 1.Brown UniversityProvidence 

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-30947-5
  • Online ISBN 978-3-540-31685-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site