Practical Aspects of Declarative Languages  17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /  [electronic resource] : 
edited by Enrico Pontelli, Tran Cao Son. 
 - Cham :  Springer International Publishing,  2015. 
 - 1 online resource (X, 149 p. 29 ill.) 
 - Lecture Notes in Computer Science,  9131  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783319196862 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer programming.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Computer logic.