Indexaxión 005.11 : Técnicas especiales de programación
005 Ciencia de los computadores (Programación, programas, datos de computador)Documentos en la biblioteca con la clasificación 005.11 (52)
Hacer una sugerencia Refinar búsqueda18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings / Peng, Xin ; Ampatzoglou, Apostolos ; Bhowmik, Tanmay
Título : 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings Tipo de documento: documento electrónico Autores: Peng, Xin, ; Ampatzoglou, Apostolos, ; Bhowmik, Tanmay, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 257 p. 90 ilustraciones, 44 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-22888-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: Programación de computadoras Ingeniería de software Ordenadores Computadoras digitales electrónicas Red de computadoras Inteligencia artificial Técnicas de programación Entornos informáticos Rendimiento y evaluación del sistema Redes de comunicación informática Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas de la 18.ª Conferencia Internacional sobre Reutilización de Software y Sistemas, ICSR 2019, celebrada en Cincinnati, Ohio, EE. UU., en junio de 2019. Los 13 artículos de investigación incluidos en este libro fueron cuidadosamente revisados y seleccionados entre 32 presentaciones. Además, se incluyen 3 artículos de innovación de la industria. Los artículos se organizaron en secciones temáticas denominadas: práctica de reutilización de software; reutilización de requisitos y línea de productos de software; reutilización y diseño y evolución; reutilización inteligente de software; y desarrollo de software de dominio específico. . Nota de contenido: Software Reuse Practice -- A Flexible and Efficient Approach to Component Test in Time-Critical Scenarios -- Software Product Line and Requirements Reuse -- Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines -- Towards a Software System for Facilitating the Reuse of Business Processes -- Automated Support to Capture Creative Requirements via Requirements Reuse -- A Comparative Analysis of Game Engines to Develop Core Assets for a Software Product Line of Mini-Games -- Reuse and Design and Evolution -- Behavioral Evolution of Design Patterns: Understanding Software Reuse through the Evolution of Pattern Behavior -- Developing a Flexible Simulation-optimization Framework to Facilitate Sustainable Urban Drainage Systems Designs through Software Reuse -- Automatically Extracting Bug Reproducing Steps from Android Bug Reports -- Intelligent Software Reuse -- Searching Software Knowledge Graph with Question -- SemiTagRec: A Semi-supervised Learning based Tag Recommendation Approach for Docker Repositories -- Slicing Based Code Recommendation for Type Based Instance Retrieval -- NLI2Code: Reusing Libraries with Natural Language Interface -- Domain-Specific Software Development -- A Double-Edged Sword? Software Reuse and Potential Security Vulnerabilities -- ACO-RR: Ant Colony Optimization Ridge Regression in Reuse of Smart City System -- An Improved Approach for Complex Activity Recognition in Smart Homes -- Examining the reusability of Smart Home applications: A Case Study on Eclipse Smart Home. 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 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings [documento electrónico] / Peng, Xin, ; Ampatzoglou, Apostolos, ; Bhowmik, Tanmay, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 257 p. 90 ilustraciones, 44 ilustraciones en color.
ISBN : 978-3-030-22888-0
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 de software Ordenadores Computadoras digitales electrónicas Red de computadoras Inteligencia artificial Técnicas de programación Entornos informáticos Rendimiento y evaluación del sistema Redes de comunicación informática Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas de la 18.ª Conferencia Internacional sobre Reutilización de Software y Sistemas, ICSR 2019, celebrada en Cincinnati, Ohio, EE. UU., en junio de 2019. Los 13 artículos de investigación incluidos en este libro fueron cuidadosamente revisados y seleccionados entre 32 presentaciones. Además, se incluyen 3 artículos de innovación de la industria. Los artículos se organizaron en secciones temáticas denominadas: práctica de reutilización de software; reutilización de requisitos y línea de productos de software; reutilización y diseño y evolución; reutilización inteligente de software; y desarrollo de software de dominio específico. . Nota de contenido: Software Reuse Practice -- A Flexible and Efficient Approach to Component Test in Time-Critical Scenarios -- Software Product Line and Requirements Reuse -- Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines -- Towards a Software System for Facilitating the Reuse of Business Processes -- Automated Support to Capture Creative Requirements via Requirements Reuse -- A Comparative Analysis of Game Engines to Develop Core Assets for a Software Product Line of Mini-Games -- Reuse and Design and Evolution -- Behavioral Evolution of Design Patterns: Understanding Software Reuse through the Evolution of Pattern Behavior -- Developing a Flexible Simulation-optimization Framework to Facilitate Sustainable Urban Drainage Systems Designs through Software Reuse -- Automatically Extracting Bug Reproducing Steps from Android Bug Reports -- Intelligent Software Reuse -- Searching Software Knowledge Graph with Question -- SemiTagRec: A Semi-supervised Learning based Tag Recommendation Approach for Docker Repositories -- Slicing Based Code Recommendation for Type Based Instance Retrieval -- NLI2Code: Reusing Libraries with Natural Language Interface -- Domain-Specific Software Development -- A Double-Edged Sword? Software Reuse and Potential Security Vulnerabilities -- ACO-RR: Ant Colony Optimization Ridge Regression in Reuse of Smart City System -- An Improved Approach for Complex Activity Recognition in Smart Homes -- Examining the reusability of Smart Home applications: A Case Study on Eclipse Smart Home. 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 : 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings Tipo de documento: documento electrónico Autores: Ben Sassi, Sihem, ; Ducasse, Stéphane, ; Mili, Hafedh, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 306 p. 97 ilustraciones, 69 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-64694-3 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 de software Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Técnicas de programación Compiladores e intérpretes Ingeniería Informática y Redes Redes de comunicación informática Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas de la 19.ª Conferencia Internacional sobre Reutilización de Software y Sistemas, ICSR 2020, celebrada en Hammamet, Túnez, en diciembre de 2020. Debido a la pandemia de COVID-19, la Conferencia se celebró de forma virtual. Los 16 artículos completos y 2 artículos breves incluidos en este libro fueron cuidadosamente revisados y seleccionados entre 60 presentaciones. Los artículos se organizaron en secciones temáticas denominadas: modelado, reutilización en la práctica, reingeniería, recomendación y análisis empírico. Nota de contenido: Modelling -- Semantic Software Capability Profile based on Enterprise Architecture for Software Reuse -- Safety Patterns for SysML: What Does OMG Specify? -- A Hybrid Approach based on reuse techniques for Autonomic Adaptation of Business Processes -- Reusable Formal Models for Threat Specification, Detection, and Treatment -- Dynamic Reconfiguration Model of Cloud Composite Services Using Event-B -- Reuse in Practice -- 15 years of reuse experience in evolutionary prototyping for the defense industry -- CxDev: A Case Study in Domain Engineering for Customer eXperience Management -- Reengineering -- Modular Moose: A new generation of software reverse engineering platform -- DeepClone: Modeling Clones to Generate Code Predictions -- Analysing Microsoft Access Projects: Building a model in a Partially Observable Domain -- Recommendation -- Automated Reuse Recommendation of Product Line Assets based on Natural Language Requirements -- Learning to Recommend Trigger-Action Rules for End-User Development: A Knowledge -- Graph Based Approach -- AndroLib: Third-Party Software Library Recommendation for Android Apps -- Investigating the Impact of Functional Size Measurement on Predicting Software Enhancement Effort using Correlation-based Feature Selection Algorithm and SVR method -- How Does library Migration Impact Software Quality and Comprehension? An Empirical Study -- How Do Developers Refactor Code to Improve Code Reusability? -- An Exploratory Study on How Software Reuse is Discussed in Stack Over ow. 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 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings [documento electrónico] / Ben Sassi, Sihem, ; Ducasse, Stéphane, ; Mili, Hafedh, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 306 p. 97 ilustraciones, 69 ilustraciones en color.
ISBN : 978-3-030-64694-3
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 de software Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Técnicas de programación Compiladores e intérpretes Ingeniería Informática y Redes Redes de comunicación informática Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye las actas de la 19.ª Conferencia Internacional sobre Reutilización de Software y Sistemas, ICSR 2020, celebrada en Hammamet, Túnez, en diciembre de 2020. Debido a la pandemia de COVID-19, la Conferencia se celebró de forma virtual. Los 16 artículos completos y 2 artículos breves incluidos en este libro fueron cuidadosamente revisados y seleccionados entre 60 presentaciones. Los artículos se organizaron en secciones temáticas denominadas: modelado, reutilización en la práctica, reingeniería, recomendación y análisis empírico. Nota de contenido: Modelling -- Semantic Software Capability Profile based on Enterprise Architecture for Software Reuse -- Safety Patterns for SysML: What Does OMG Specify? -- A Hybrid Approach based on reuse techniques for Autonomic Adaptation of Business Processes -- Reusable Formal Models for Threat Specification, Detection, and Treatment -- Dynamic Reconfiguration Model of Cloud Composite Services Using Event-B -- Reuse in Practice -- 15 years of reuse experience in evolutionary prototyping for the defense industry -- CxDev: A Case Study in Domain Engineering for Customer eXperience Management -- Reengineering -- Modular Moose: A new generation of software reverse engineering platform -- DeepClone: Modeling Clones to Generate Code Predictions -- Analysing Microsoft Access Projects: Building a model in a Partially Observable Domain -- Recommendation -- Automated Reuse Recommendation of Product Line Assets based on Natural Language Requirements -- Learning to Recommend Trigger-Action Rules for End-User Development: A Knowledge -- Graph Based Approach -- AndroLib: Third-Party Software Library Recommendation for Android Apps -- Investigating the Impact of Functional Size Measurement on Predicting Software Enhancement Effort using Correlation-based Feature Selection Algorithm and SVR method -- How Does library Migration Impact Software Quality and Comprehension? An Empirical Study -- How Do Developers Refactor Code to Improve Code Reusability? -- An Exploratory Study on How Software Reuse is Discussed in Stack Over ow. 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 : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Pałka, Michał, ; Myreen, Magnus, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: VII, 157 p. 862 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-18506-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: Programación de computadoras Compiladores (programas informáticos) Sistemas operativos (computadoras) diseño lógico Microprocesadores Arquitectura de Computadores Técnicas de programación Compiladores e intérpretes Sistemas operativos Arquitecturas de procesador Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye los artículos seleccionados revisados minuciosamente arbitrados del 19º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2018, celebrado en Gotemburgo, Suecia, en junio de 2018. Los 7 artículos completos revisados fueron seleccionados entre 13 presentaciones y artículos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artículos presentados antes del simposio. Nota de contenido: Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell -- Reversible Session-Based Concurrency in Haskell -- Intrinsic Currying for C++ Template Metaprograms -- Towards Optic-Based Algebraic Theories: The Case of Lenses -- Saint: an API-generic Type-safe Interpreter -- Improving Haskell -- High-Performance Defunctionalisation in Futhark. . 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 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers [documento electrónico] / Pałka, Michał, ; Myreen, Magnus, . - 1 ed. . - [s.l.] : Springer, 2019 . - VII, 157 p. 862 ilustraciones, 16 ilustraciones en color.
ISBN : 978-3-030-18506-0
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) Sistemas operativos (computadoras) diseño lógico Microprocesadores Arquitectura de Computadores Técnicas de programación Compiladores e intérpretes Sistemas operativos Arquitecturas de procesador Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye los artículos seleccionados revisados minuciosamente arbitrados del 19º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2018, celebrado en Gotemburgo, Suecia, en junio de 2018. Los 7 artículos completos revisados fueron seleccionados entre 13 presentaciones y artículos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artículos presentados antes del simposio. Nota de contenido: Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell -- Reversible Session-Based Concurrency in Haskell -- Intrinsic Currying for C++ Template Metaprograms -- Towards Optic-Based Algebraic Theories: The Case of Lenses -- Saint: an API-generic Type-safe Interpreter -- Improving Haskell -- High-Performance Defunctionalisation in Futhark. . 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 : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bowman, William J., ; Garcia, Ronald, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: VII, 143 p. 250 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-47147-7 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 Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Ciencias de la Computación Técnicas de programación Compiladores e intérpretes Ingeniería Informática y Redes Teoría de la Computación Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye los artículos seleccionados revisados y completamente arbitrados del 20.º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2019, celebrado en Vancouver, Canadá, en junio de 2019. Los 6 artículos completos revisados fueron seleccionados de 11 presentaciones y artículos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artículos presentados antes del simposio. Nota de contenido: Quotients by Idempotent Functions in Cedille -- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker -- Verifying Selective CPS Transformation for Shift and Reset -- How to Specify it! A Guide to Writing Properties of Pure Functions -- Type Inference for Rank 2 Gradual Intersection Types -- Set Constraints, Pattern Match Analysis, and SMT. 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, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers [documento electrónico] / Bowman, William J., ; Garcia, Ronald, . - 1 ed. . - [s.l.] : Springer, 2020 . - VII, 143 p. 250 ilustraciones, 1 ilustraciones en color.
ISBN : 978-3-030-47147-7
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 Compiladores (programas informáticos) Ingeniería Informática Red de computadoras Ciencias de la Computación Técnicas de programación Compiladores e intérpretes Ingeniería Informática y Redes Teoría de la Computación Índice Dewey: 005.11 Técnicas especiales de programación Resumen: Este libro constituye los artículos seleccionados revisados y completamente arbitrados del 20.º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2019, celebrado en Vancouver, Canadá, en junio de 2019. Los 6 artículos completos revisados fueron seleccionados de 11 presentaciones y artículos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artículos presentados antes del simposio. Nota de contenido: Quotients by Idempotent Functions in Cedille -- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker -- Verifying Selective CPS Transformation for Shift and Reset -- How to Specify it! A Guide to Writing Properties of Pure Functions -- Type Inference for Rank 2 Gradual Intersection Types -- Set Constraints, Pattern Match Analysis, and SMT. 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 : 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
Permalink
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
