Practical Aspects of Declarative Languages: 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings - Brossura

Brossura

ISBN 10: 3319516779 ISBN 13: 9783319516776

Casa editrice: Springer, 2016

Riassunto

Eliminating Irrelevant Non-determinism in Functional Logic Programs.- Canonicalizing High-Level Constructs in Picat.- An Overview of P_rhoLog.- Integrating Answer Set Programming with Object-oriented Languages.- Extending Answer Set Programs with Interpreted Functions as First-class Citizens.- Lowering the learning curve for declarative programming: a Python API for the IDP system.- Failing Faster: Overlapping Patterns for Property-Based Testing.- Boltzmann Samplers for Closed Simply-Typed Lambda Terms.- Selection Equilibria of Higher-Order Games.- DALI for Cognitive Robotics: Principles and Prototype Implementation.- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications.- A Domain-Specific Language for Software-Defined Radio.- A Declarative DSL for Customizing ASCII Art.- Using Iterative Deepening for Probabilistic Logic Inference.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2016
• Lingua: Inglese
• ISBN 10: 3319516779
• ISBN 13: 9783319516776
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile