Book Volume 9131 2015

Practical Aspects of Declarative Languages

17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

Editors:

ISBN: 978-3-319-19685-5 (Print) 978-3-319-19686-2 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages I-IX

  2. No Access

    Chapter

    Pages 1-16

    Ontology-Driven Data Semantics Discovery for Cyber-Security

  3. No Access

    Chapter

    Pages 17-33

    State Space Planning Using Transaction Logic

  4. No Access

    Chapter

    Pages 34-49

    On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

  5. No Access

    Chapter

    Pages 50-57

    Declaratively Solving Google Code Jam Problems with Picat

  6. No Access

    Chapter

    Pages 58-73

    Reactive Single-Page Applications with Dynamic Dataflow

  7. No Access

    Chapter

    Pages 74-89

    CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry

  8. No Access

    Chapter

    Pages 90-104

    Implementation and Performance of Probabilistic Inference Pipelines

  9. No Access

    Chapter

    Pages 105-114

    A Haskell Implementation of a Rule-Based Program Transformation for C Programs

  10. No Access

    Chapter

    Pages 115-131

    On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization

  11. No Access

    Chapter

    Pages 132-148

    Programming Microcontrollers in OCaml: The OCaPIC Project

  12. Back Matter

    Pages 149-149