Practical Aspects of Declarative Languages

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

  • Kostis Sagonas
Conference proceedings PADL 2013

DOI: 10.1007/978-3-642-45284-0

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

Table of contents (17 papers)

  1. Front Matter
  2. A Library for Declarative Resolution-Independent 2D Graphics
    Paul Klint, Atze van der Ploeg
    Pages 1-18
  3. Analysing the Entire Wikipedia History with Database Supported Haskell
    George Giorgidze, Torsten Grust, Iassen Halatchliyski, Michael Kummer
    Pages 19-25
  4. A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction
    Vítor Rodrigues, Benny Akesson, Simão Melo de Sousa, Mário Florido
    Pages 43-59
  5. Supporting Pruning in Tabled LP
    Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
    Pages 60-76
  6. Formalizing a Broader Recursion Coverage in SQL
    Gabriel Aranda, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
    Pages 93-108
  7. A Declarative-Friendly API for Web Document Manipulation
    Benjamin Canou, Emmanuel Chailloux, Vincent Balat
    Pages 109-124
  8. Implementing Equational Constraints in a Functional Language
    Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
    Pages 125-140
  9. On the Efficient Implementation of Mode-Directed Tabling
    João Santos, Ricardo Rocha
    Pages 141-156
  10. The Generalized Intensional Transformation for Implementing Lazy Functional Languages
    Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis
    Pages 157-172
  11. Integrative Functional Statistics in Logic Programming
    Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk Wessels
    Pages 190-205
  12. Reversible Language Extensions and Their Application in Debugging
    Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
    Pages 206-221
  13. proSQLite: Prolog File Based Databases via an SQLite Interface
    Sander Canisius, Nicos Angelopoulos, Lodewyk Wessels
    Pages 222-227
  14. Dependently Typed Web Client Applications
    Alan Jeffrey
    Pages 228-243
  15. Parallel Performance of Declarative Programming Using a PGAS Model
    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

  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-45283-3
  • Online ISBN 978-3-642-45284-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349