Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings - Lierler, Yuliya; Taha, Walid; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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.
Keywords: Programming languages (Electronic computers).; Computer programming; Computer logic; Software engineering; Artificial intelligence; Application software; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering; Artificial Intelligence; Computer Appl. in Administrative Data Processing