Practical Aspects of Declarative Languages

15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings

  • Kostis Sagonas
Conference proceedings PADL 2013

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

Table of contents

  1. Front Matter
  2. Paul Klint, Atze van der Ploeg
    Pages 1-18
  3. George Giorgidze, Torsten Grust, Iassen Halatchliyski, Michael Kummer
    Pages 19-25
  4. Vítor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido
    Pages 43-59
  5. Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
    Pages 60-76
  6. Gabriel Aranda, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
    Pages 93-108
  7. Benjamin Canou, Emmanuel Chailloux, Vincent Balat
    Pages 109-124
  8. Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
    Pages 125-140
  9. João Santos, Ricardo Rocha
    Pages 141-156
  10. Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis
    Pages 157-172
  11. Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk Wessels
    Pages 190-205
  12. Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
    Pages 206-221
  13. Sander Canisius, Nicos Angelopoulos, Lodewyk Wessels
    Pages 222-227
  14. Alan Jeffrey
    Pages 228-243
  15. Rui Machado, Salvador Abreu, Daniel Diaz
    Pages 244-260
  16. Back Matter

About these proceedings


This book constitutes the refereed post-proceedings of the 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located with POPL 2013, the 40th Symposium on Principles of Programming Languages. The 17 revised papers presented were carefully reviewed and selected from 33 submissions. The volume features original work emphasizing new ideas and implementation techniques for all forms of declarative concepts, including functional, logic, and constraints.


SQL functional languages logic programming parallelism program analysis

Editors and affiliations

  • Kostis Sagonas
    • 1
  1. 1.Department of Information TechnologyUppsala UniversityUppsalaSweden

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-45283-3
  • Online ISBN 978-3-642-45284-0
  • 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