20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings / Calimeri, Francesco ; Hamlen, Kevin ; Leone, Nicola  

Público ISBD Ningún comentario para este título. Título : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings Tipo de documento: documento electrónico Autores: Calimeri, Francesco, ; Hamlen, Kevin, ; Leone, Nicola, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 203 p. 56 ilustraciones ISBN/ISSN/DL: 978-3-319-73305-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Compiladores (programas informáticos)  Ciencias de la Computación  Teoría de las máquinas  Programación de computadoras  Ingeniería de software  Compiladores e intérpretes  Lógica informática y fundamentos de la programación.  Lenguajes formales y teoría de los autómatas  Técnicas de programación Clasificación: 005.45 Resumen: Este libro constituye las actas del 20.º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2018, celebrado en Los Ángeles, CA, EE. UU., en enero de 2018 y coincidido con el 45.º Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 13 artículos regulares presentados en este volumen junto con los resúmenes de 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 23 presentaciones. Se ocupan de la programación funcional; programación de restricciones y reglas comerciales; prólogo y optimización; y programación de conjuntos de respuestas. . Nota de contenido: Functional programming -- Constraint programming and business rules -- Prolog and optimization -- Answer set programming. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings [documento electrónico] / Calimeri, Francesco, ; Hamlen, Kevin, ; Leone, Nicola,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XIV, 203 p. 56 ilustraciones. ISBN : 978-3-319-73305-0 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Compiladores (programas informáticos)  Ciencias de la Computación  Teoría de las máquinas  Programación de computadoras  Ingeniería de software  Compiladores e intérpretes  Lógica informática y fundamentos de la programación.  Lenguajes formales y teoría de los autómatas  Técnicas de programación Clasificación: 005.45 Resumen: Este libro constituye las actas del 20.º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2018, celebrado en Los Ángeles, CA, EE. UU., en enero de 2018 y coincidido con el 45.º Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 13 artículos regulares presentados en este volumen junto con los resúmenes de 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 23 presentaciones. Se ocupan de la programación funcional; programación de restricciones y reglas comerciales; prólogo y optimización; y programación de conjuntos de respuestas. . Nota de contenido: Functional programming -- Constraint programming and business rules -- Prolog and optimization -- Answer set programming. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200