Practical Aspects of Declarative Languages
17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
(Sprache: Englisch)
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...
The 10 revised papers presented were carefully reviewed and...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
44.00 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Practical Aspects of Declarative Languages “
Klappentext zu „Practical Aspects of Declarative Languages “
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.
Inhaltsverzeichnis zu „Practical Aspects of Declarative Languages “
- 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
Bibliographische Angaben
- 2015, 2015, X, 149 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Enrico Pontelli, Tran Cao Son
- Verlag: Springer, Berlin
- ISBN-10: 3319196855
- ISBN-13: 9783319196855
- Erscheinungsdatum: 01.06.2015
Sprache:
Englisch
Kommentar zu "Practical Aspects of Declarative Languages"
Schreiben Sie einen Kommentar zu "Practical Aspects of Declarative Languages".
Kommentar verfassen