Practical Aspects of Declarative Languages

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

  • Enrico Pontelli
  • Tran Cao Son
Conference proceedings PADL 2015

DOI: 10.1007/978-3-319-19686-2

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

Table of contents (10 papers)

  1. Front Matter
    Pages I-IX
  2. Ontology-Driven Data Semantics Discovery for Cyber-Security
    Marcello Balduccini, Sarah Kushner, Jacquelin Speck
    Pages 1-16
  3. State Space Planning Using Transaction Logic
    Reza Basseda, Michael Kifer
    Pages 17-33
  4. Declaratively Solving Google Code Jam Problems with Picat
    Sergii Dymchenko, Mariia Mykhailova
    Pages 50-57
  5. Reactive Single-Page Applications with Dynamic Dataflow
    Simon Fowler, Loïc Denuzière, Adam Granicz
    Pages 58-73
  6. Implementation and Performance of Probabilistic Inference Pipelines
    Dimitar Shterionov, Gerda Janssens
    Pages 90-104
  7. A Haskell Implementation of a Rule-Based Program Transformation for C Programs
    Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
    Pages 105-114
  8. Programming Microcontrollers in OCaml: The OCaPIC Project
    Benoît Vaugon, Philippe Wang, Emmanuel Chailloux
    Pages 132-148
  9. Back Matter
    Pages 149-149

About these proceedings


This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.

The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc.


Compilers and interpreters Concurrency and parallelism Constraint programming DSL Declarative languages Domain-specific languages Functional programming Knowledge representation and reasoning Language design Language implementation Logic Logic programming Practical applications Program analysis Programming languages Software engineering Static analysis

Editors and affiliations

  • Enrico Pontelli
    • 1
  • Tran Cao Son
    • 2
  1. 1.New Mexico State UniversityLas CrucesUSA
  2. 2.Department of Computer ScienceNew Mexico State UniversityLas CrucesUSA

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-19685-5
  • Online ISBN 978-3-319-19686-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349