Skip to main content
SpringerLink
Log in
Book cover

Practical Aspects of Declarative Languages

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Enrico Pontelli

    1. New Mexico State University, Las Cruces, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tran Cao Son

    1. Department of Computer Science, New Mexico State University, Las Cruces, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: PADL 2015.

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 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.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 (10 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  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. On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities

    • Flavio Cruz, Ricardo Rocha
    Pages 34-49

  5. Declaratively Solving Google Code Jam Problems with Picat

    • Sergii Dymchenko, Mariia Mykhailova
    Pages 50-57

  6. Reactive Single-Page Applications with Dynamic Dataflow

    • Simon Fowler, Loïc Denuzière, Adam Granicz
    Pages 58-73

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

    • Michael Hanus
    Pages 74-89

  8. Implementation and Performance of Probabilistic Inference Pipelines

    • Dimitar Shterionov, Gerda Janssens
    Pages 90-104

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

    • Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
    Pages 105-114

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

    • Paul Tarau
    Pages 115-131

  11. Programming Microcontrollers in OCaml: The OCaPIC Project

    • Benoît Vaugon, Philippe Wang, Emmanuel Chailloux
    Pages 132-148

  12. Back Matter

    Pages 149-149
    Download chapter PDF
Back to top

Other volumes

  1. Practical Aspects of Declarative Languages

Keywords

About this book

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.

Editors and Affiliations

  • New Mexico State University, Las Cruces, USA

    Enrico Pontelli

  • Department of Computer Science, New Mexico State University, Las Cruces, USA

    Tran Cao Son

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation