Overview

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.

Full Product Details

Author:   Enrico Pontelli ,  Tran Cao Son
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2015 ed.
Volume:   9131
Dimensions:   Width: 15.50cm , Height: 0.90cm , Length: 23.50cm
Weight:   2.526kg
ISBN:  

9783319196855

ISBN 10:   3319196855
Pages:   149
Publication Date:   01 June 2015
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Ontology-Driven Data Semantics Discovery for Cyber-Security.- State Space Planning Using Transaction Logic.- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule.- Declaratively Solving Google Code Jam Problems with Picat.- Reactive Single-Page Applications with Dynamic Dataflow.- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry.- Implementation and Performance of Probabilistic Inference.- A Haskell Implementation of a Rule-Based Program Transformation for C Programs.- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization.- Programming Microcontrollers in OCaml: the OCaPICProject.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions