Título :	Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
Tipo de documento:	documento electrónico
Autores:	Lierler, Yuliya, ; Taha, Walid,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2017
Número de páginas:	X, 215 p. 31 ilustraciones
ISBN/ISSN/DL:	978-3-319-51676-9
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Compiladores (programas informáticos)  Programación de computadoras  Ciencias de la Computación  Ingeniería de software  Inteligencia artificial  Tecnología de la información  Compiladores e intérpretes  Técnicas de programación  Lógica informática y fundamentos de la programación  Aplicación Informática en Tratamiento de Datos Administrativos
Índice Dewey:	005.45 interfaces con el computador y los controladores del dispositivo
Resumen:	Este libro constituye las actas del 19º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2017, celebrado en París, Francia, en enero de 2017 y coincidido con el Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 14 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Se ocupan de aplicaciones novedosas y técnicas de implementación para todas las formas de lenguajes declarativos, incluidos, entre otros, lenguajes lógicos, de restricciones y funcionales. .
Nota de contenido:	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.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings [documento electrónico] / Lierler, Yuliya, ; Taha, Walid,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - X, 215 p. 31 ilustraciones.
ISBN : 978-3-319-51676-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Compiladores (programas informáticos)  Programación de computadoras  Ciencias de la Computación  Ingeniería de software  Inteligencia artificial  Tecnología de la información  Compiladores e intérpretes  Técnicas de programación  Lógica informática y fundamentos de la programación  Aplicación Informática en Tratamiento de Datos Administrativos
Índice Dewey:	005.45 interfaces con el computador y los controladores del dispositivo
Resumen:	Este libro constituye las actas del 19º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2017, celebrado en París, Francia, en enero de 2017 y coincidido con el Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 14 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Se ocupan de aplicaciones novedosas y técnicas de implementación para todas las formas de lenguajes declarativos, incluidos, entre otros, lenguajes lógicos, de restricciones y funcionales. .
Nota de contenido:	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.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i