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 registro. 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. 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 Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo 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. 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 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. 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 Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo 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. 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200