Autor Zsók, Viktória
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / Zsók, Viktória ; Hughes, John
Título : 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. 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 Índice Dewey: 005.11 Técnicas especiales de programación 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. 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 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.
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 Índice Dewey: 005.11 Técnicas especiales de programación 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. 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
Título : 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. 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 Índice Dewey: 005.11 Técnicas especiales de programación 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. 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 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.
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 Índice Dewey: 005.11 Técnicas especiales de programación 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. 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
