Autor Hughes, John
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / Byrski, Aleksander ; Hughes, John
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
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 : Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Van Horn, David, ; Hughes, John, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: IX, 193 p. 444 ilustraciones, 20 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-14805-8 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 Compiladores (programas informáticos) Inteligencia artificial Técnicas de programación Compiladores e intérpretes Ãndice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre Tendencias en Programación Funcional, TFP 2016, celebrada en College Park, EE. UU., en junio de 2016. Los 10 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas: técnicas de implementación; tipos y verificación; y programación. . Nota de contenido: Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems. 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 Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers [documento electrónico] / Van Horn, David, ; Hughes, John, . - 1 ed. . - [s.l.] : Springer, 2019 . - IX, 193 p. 444 ilustraciones, 20 ilustraciones en color.
ISBN : 978-3-030-14805-8
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 Compiladores (programas informáticos) Inteligencia artificial Técnicas de programación Compiladores e intérpretes Ãndice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre Tendencias en Programación Funcional, TFP 2016, celebrada en College Park, EE. UU., en junio de 2016. Los 10 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 18 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas: técnicas de implementación; tipos y verificación; y programación. . Nota de contenido: Implementation Techniques -- Space-Ecient Latent Contracts -- Cactus Environment Machine: Shared Environment Call-by-Need -- Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler -- Types and Verication Proving Type Class Laws for Haskell -- Dynamic Flow Analysis for JavaScript -- A Type Inference System Based on Saturation of Subtyping Constraints -- Programming -- Project Report: Dependently typed programming with lambda encodings in Cedille -- Threading the Arduino with Haskell -- The Random Access Zipper: Simple, Persistent Sequences -- Building a Generic Feedback System for Rule-based Problems. 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
