Practical Aspects of Declarative Languages

1. Front Matter

   PDF

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. LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis

   • Sergio Castro, Kim Mens, Paulo Moura

   Pages 26-42

5. 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

6. Supporting Pruning in Tabled LP

   • Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

   Pages 60-76

7. A Portable and Efficient Implementation of Coinductive Logic Programming

   • Paulo Moura

   Pages 77-92

8. Formalizing a Broader Recursion Coverage in SQL

   • Gabriel Aranda, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

   Pages 93-108

9. A Declarative-Friendly API for Web Document Manipulation

   • Benjamin Canou, Emmanuel Chailloux, Vincent Balat

   Pages 109-124

10. Implementing Equational Constraints in a Functional Language

    • Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck

    Pages 125-140

11. On the Efficient Implementation of Mode-Directed Tabling

    • João Santos, Ricardo Rocha

    Pages 141-156

12. The Generalized Intensional Transformation for Implementing Lazy Functional Languages

    • Georgios Fourtounis, Nikolaos Papaspyrou, Panos Rondogiannis

    Pages 157-172

13. Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs

    • Senlin Liang, Michael Kifer

    Pages 173-189

14. Integrative Functional Statistics in Logic Programming

    • Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk Wessels

    Pages 190-205

15. Reversible Language Extensions and Their Application in Debugging

    • Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro

    Pages 206-221

16. proSQLite: Prolog File Based Databases via an SQLite Interface

    • Sander Canisius, Nicos Angelopoulos, Lodewyk Wessels

    Pages 222-227

17. Dependently Typed Web Client Applications

    • Alan Jeffrey

    Pages 228-243

18. Parallel Performance of Declarative Programming Using a PGAS Model

    • Rui Machado, Salvador Abreu, Daniel Diaz

    Pages 244-260

19. Back Matter

    PDF

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

• Department of Information Technology, Uppsala University, Uppsala, Sweden

  Kostis Sagonas

Policies and ethics