Cover image for Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Title:
Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Author:
Pontelli, Enrico. editor.
ISBN:
9783319196862
Edition:
1st ed. 2015.
Physical Description:
X, 149 p. 29 illus. online resource.
Series:
Programming and Software Engineering, 9131
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.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 518922-1001 XX(518922.1)
Searching...

On Order