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

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Lierler, Yuliya. (Editor ), Taha, Walid. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10137
Materias:	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.

Tabla de Contenidos:

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.

Ejemplares similares