Skip to main content
SpringerLink
Log in
Book cover

Practical Aspects of Declarative Languages

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Kostis Sagonas

    1. Department of Information Technology, Uppsala University, Uppsala, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Up-to-date results
  • Unique visibility

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: PADL 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

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.

Editors and Affiliations

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

    Kostis Sagonas

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation