Practical Aspects of Declarative Languages

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

Editors:

ISBN: 978-3-642-45283-3 (Print) 978-3-642-45284-0 (Online)

Table of contents (17 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-18

    A Library for Declarative Resolution-Independent 2D Graphics

  3. No Access

    Book Chapter

    Pages 19-25

    Analysing the Entire Wikipedia History with Database Supported Haskell

  4. No Access

    Book Chapter

    Pages 26-42

    LogicObjects: Enabling Logic Programming in Java through Linguistic Symbiosis

  5. No Access

    Book Chapter

    Pages 43-59

    A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction

  6. No Access

    Book Chapter

    Pages 60-76

    Supporting Pruning in Tabled LP

  7. No Access

    Book Chapter

    Pages 77-92

    A Portable and Efficient Implementation of Coinductive Logic Programming

  8. No Access

    Book Chapter

    Pages 93-108

    Formalizing a Broader Recursion Coverage in SQL

  9. No Access

    Book Chapter

    Pages 109-124

    A Declarative-Friendly API for Web Document Manipulation

  10. No Access

    Book Chapter

    Pages 125-140

    Implementing Equational Constraints in a Functional Language

  11. No Access

    Book Chapter

    Pages 141-156

    On the Efficient Implementation of Mode-Directed Tabling

  12. No Access

    Book Chapter

    Pages 157-172

    The Generalized Intensional Transformation for Implementing Lazy Functional Languages

  13. No Access

    Book Chapter

    Pages 173-189

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

  14. No Access

    Book Chapter

    Pages 190-205

    Integrative Functional Statistics in Logic Programming

  15. No Access

    Book Chapter

    Pages 206-221

    Reversible Language Extensions and Their Application in Debugging

  16. No Access

    Book Chapter

    Pages 222-227

    proSQLite: Prolog File Based Databases via an SQLite Interface

  17. No Access

    Book Chapter

    Pages 228-243

    Dependently Typed Web Client Applications

  18. No Access

    Book Chapter

    Pages 244-260

    Parallel Performance of Declarative Programming Using a PGAS Model

  19. Back Matter

    Pages -