Título :	21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	Byrski, Aleksander, ; Hughes, John,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	X, 249 p. 781 ilustraciones, 45 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-57761-2
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  Ingeniería Informática  Red de computadoras  Microprogramación  Software de la aplicacion  Inteligencia artificial  Compiladores (programas informáticos)  Técnicas de programación  Ingeniería Informática y Redes  Estructuras de control y microprogramación  Aplicaciones informáticas y de sistemas de información  Compiladores e intérpretes
Índice Dewey:	005.11 Técnicas especiales de programación
Resumen:	Este libro constituye artículos revisados ​​seleccionados del 21º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2020, que se celebró en Cracovia, Polonia, del 13 al 14 de febrero de 2020. Los 11 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 22 presentaciones. Estaban organizados en secciones temáticas denominadas: idiomas de dominio específico; depuración y pruebas; razonamiento y efectos; y paralelismo. Los siguientes capítulos están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com: Capítulo 3: Generación de sugerencias para el siguiente paso para programas orientados a tareas utilizando la ejecución simbólica de Nico Naus y Tim Steenvoorden, y Capítulo 5: Práctica de formalidad flexible Experiencia con métodos formales ágiles de Philipp Kant et al.
Nota de contenido:	Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data.
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

21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers [documento electrónico] / Byrski, Aleksander, ; Hughes, John,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - X, 249 p. 781 ilustraciones, 45 ilustraciones en color.
ISBN : 978-3-030-57761-2
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  Ingeniería Informática  Red de computadoras  Microprogramación  Software de la aplicacion  Inteligencia artificial  Compiladores (programas informáticos)  Técnicas de programación  Ingeniería Informática y Redes  Estructuras de control y microprogramación  Aplicaciones informáticas y de sistemas de información  Compiladores e intérpretes
Índice Dewey:	005.11 Técnicas especiales de programación
Resumen:	Este libro constituye artículos revisados ​​seleccionados del 21º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2020, que se celebró en Cracovia, Polonia, del 13 al 14 de febrero de 2020. Los 11 artículos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 22 presentaciones. Estaban organizados en secciones temáticas denominadas: idiomas de dominio específico; depuración y pruebas; razonamiento y efectos; y paralelismo. Los siguientes capítulos están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com: Capítulo 3: Generación de sugerencias para el siguiente paso para programas orientados a tareas utilizando la ejecución simbólica de Nico Naus y Tim Steenvoorden, y Capítulo 5: Práctica de formalidad flexible Experiencia con métodos formales ágiles de Philipp Kant et al.
Nota de contenido:	Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data.
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