Pontelli / Son | Practical Aspects of Declarative Languages | E-Book | sack.de
E-Book

E-Book, Englisch, 149 Seiten, eBook

Reihe: Programming and Software Engineering

Pontelli / Son Practical Aspects of Declarative Languages

17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
Erscheinungsjahr 2015
ISBN: 978-3-319-19686-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings

E-Book, Englisch, 149 Seiten, eBook

Reihe: Programming and Software Engineering

ISBN: 978-3-319-19686-2
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.
Pontelli / Son Practical Aspects of Declarative Languages jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Pontelli, Enrico
Son, Tran Cao

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.