Formaat: Paperback / softback, 149 pages, kõrgus x laius: 235x155 mm, kaal: 2526 g, 29 Illustrations, black and white; X, 149 p. 29 illus., 1 Paperback / softback
Formaat: Paperback / softback, 149 pages, kõrgus x laius: 235x155 mm, kaal: 2526 g, 29 Illustrations, black and white; X, 149 p. 29 illus., 1 Paperback / softback
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.
Ontology-Driven Data Semantics Discovery for Cyber-Security
1
(16)
Marcello Balduccini
Sarah Kushner
Jacquelin Speck
State Space Planning Using Transaction Logic
17
(17)
Reza Basseda
Michael Kifer
On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
34
(16)
Flavio Cruz
Ricardo Rocha
Declaratively Solving Google Code Jam Problems with Picat
50
(8)
Sergii Dymchenko
Mariia Mykhailova
Reactive Single-Page Applications with Dynamic Dataflow
58
(16)
Simon Fowler
Loic Denuziere
Adam Granicz
CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry
74
(16)
Michael Hanus
Implementation and Performance of Probabilistic Inference Pipelines
90
(15)
Dimitar Shterionov
Gerda Janssens
A Haskell Implementation of a Rule-Based Program Transformation for C Programs
105
(10)
Salvador Tamarit
Guillermo Vigueras
Manuel Carro
Julio Marino
On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization
115
(17)
Paul Tarau
Programming Microcontrollers in OCaml: The OCaPIC Project
