Información del autor
Autor Zsók, Viktória |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsquedaCentral European Functional Programming School / Zsók, Viktória ; Porkoláb, Zoltán ; Horváth, Zoltán
TÃtulo : Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers / Tipo de documento: documento electrónico Autores: Zsók, Viktória, ; Porkoláb, Zoltán, ; Horváth, Zoltán, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: VII, 395 p. 1886 ilustraciones, 46 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-28346-9 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: Programación de computadoras Inteligencia artificial Gestión de base de datos IngenierÃa de software Compiladores (programas informáticos) Técnicas de programación Compiladores e intérpretes Clasificación: 005.11 Resumen: Este volumen presenta las notas revisadas de las charlas seleccionadas impartidas en la 6.ª Escuela de Programación Funcional de Europa Central, CEFP 2015, celebrada en julio de 2015 en Budapest, HungrÃa. Los 10 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados. Las conferencias cubrieron una amplia gama de temas de programación funcional y programación C++. . Nota de contenido: Watch out for that tree! A Tutorial on Shortcut Deforestation -- Functional Reactive Programming in C++ -- Immutables in C++: Language Foundation for Functional Programming -- Programming in a Functional Style in C++ -- Functional, Reactive Web Programming in F# -- Functional Languages in Design of Colored Petri Nets Models -- Single Assignment C (SAC): The Compilation Technology Perspective -- Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors -- Static and Dynamic Visualizations of Monadic Programs -- Analyzing Scale-free Properties in Erlang and Scala. Tipo de medio : Computadora Summary : This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Central European Functional Programming School : 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers / [documento electrónico] / Zsók, Viktória, ; Porkoláb, Zoltán, ; Horváth, Zoltán, . - 1 ed. . - [s.l.] : Springer, 2019 . - VII, 395 p. 1886 ilustraciones, 46 ilustraciones en color.
ISBN : 978-3-030-28346-9
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: Programación de computadoras Inteligencia artificial Gestión de base de datos IngenierÃa de software Compiladores (programas informáticos) Técnicas de programación Compiladores e intérpretes Clasificación: 005.11 Resumen: Este volumen presenta las notas revisadas de las charlas seleccionadas impartidas en la 6.ª Escuela de Programación Funcional de Europa Central, CEFP 2015, celebrada en julio de 2015 en Budapest, HungrÃa. Los 10 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados. Las conferencias cubrieron una amplia gama de temas de programación funcional y programación C++. . Nota de contenido: Watch out for that tree! A Tutorial on Shortcut Deforestation -- Functional Reactive Programming in C++ -- Immutables in C++: Language Foundation for Functional Programming -- Programming in a Functional Style in C++ -- Functional, Reactive Web Programming in F# -- Functional Languages in Design of Colored Petri Nets Models -- Single Assignment C (SAC): The Compilation Technology Perspective -- Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors -- Static and Dynamic Visualizations of Monadic Programs -- Analyzing Scale-free Properties in Erlang and Scala. Tipo de medio : Computadora Summary : This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / Tipo de documento: documento electrónico Autores: Zsók, Viktória, ; Hughes, John, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VII, 137 p. 35 ilustraciones, 10 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-83978-9 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: Programación de computadoras Inteligencia artificial IngenierÃa Informática Red de computadoras Compiladores (programas informáticos) Técnicas de programación IngenierÃa Informática y Redes Compiladores e intérpretes Clasificación: 005.11 Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 22º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2021, que se celebró virtualmente en febrero de 2020. Los 6 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Estaban organizados en secciones temáticas sobre paralelismo anidado, semántica, programación y modelado orientado a tareas, traducción y prueba de programas funcionales. Nota de contenido: Nested parallelism, semantics, task-oriented programming -- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties -- A Generic Back-End for Exploratory Programming -- Dynamic Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer. Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Trends in Functional Programming : 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / [documento electrónico] / Zsók, Viktória, ; Hughes, John, . - 1 ed. . - [s.l.] : Springer, 2021 . - VII, 137 p. 35 ilustraciones, 10 ilustraciones en color.
ISBN : 978-3-030-83978-9
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: Programación de computadoras Inteligencia artificial IngenierÃa Informática Red de computadoras Compiladores (programas informáticos) Técnicas de programación IngenierÃa Informática y Redes Compiladores e intérpretes Clasificación: 005.11 Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 22º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2021, que se celebró virtualmente en febrero de 2020. Los 6 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Estaban organizados en secciones temáticas sobre paralelismo anidado, semántica, programación y modelado orientado a tareas, traducción y prueba de programas funcionales. Nota de contenido: Nested parallelism, semantics, task-oriented programming -- Dataset Sensitive Autotuning of Multi-Versioned Code based on Monotonic Properties -- A Generic Back-End for Exploratory Programming -- Dynamic Editors for Well-Typed Expressions -- Modelling, translating, proving functional programs -- High-Level Modelling for Typed Functional Programming -- Translating Lambda Calculus into C++ Templates -- ProofViz: An Interactive Visual Proof Explorer. Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the 22nd International Symposium on Trends in Functional Programming, TFP 2021, which was held virtually in February 2020. The 6 full papers presented in this volume were carefully reviewed and selected from 18 submissions. They were organized in topical sections about nested parallelism, semantics, task-oriented programming and modelling, translating, proving functional programs. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
