Autor Yoshida, Nobuko
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / Yoshida, Nobuko
Título : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings Tipo de documento: documento electrónico Autores: Yoshida, Nobuko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 693 p. 177 ilustraciones ISBN/ISSN/DL: 978-3-030-72019-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: Compiladores (programas informáticos) Procesamiento del lenguaje natural (Informática) Ingeniería de software Ciencias de la Computación Ingeniería Informática Red de computadoras Compiladores e intérpretes Procesamiento del lenguaje natural (PNL) Lógica informática y fundamentos de la programación Ingeniería Informática y Redes Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro de acceso abierto constituye las actas del 30º Simposio Europeo sobre Programación, ESOP 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ETAPS 2021. La conferencia fue Estaba previsto que se llevara a cabo en Luxemburgo y cambió a un formato en línea debido a la pandemia de COVID-19. Los 24 artículos incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 79 presentaciones. Se ocupan de cuestiones fundamentales en la especificación, diseño, análisis e implementación de lenguajes y sistemas de programación. Nota de contenido: The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More – Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. . 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 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings [documento electrónico] / Yoshida, Nobuko, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 693 p. 177 ilustraciones.
ISBN : 978-3-030-72019-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Compiladores (programas informáticos) Procesamiento del lenguaje natural (Informática) Ingeniería de software Ciencias de la Computación Ingeniería Informática Red de computadoras Compiladores e intérpretes Procesamiento del lenguaje natural (PNL) Lógica informática y fundamentos de la programación Ingeniería Informática y Redes Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro de acceso abierto constituye las actas del 30º Simposio Europeo sobre Programación, ESOP 2021, que se celebró del 27 de marzo al 1 de abril de 2021, como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ETAPS 2021. La conferencia fue Estaba previsto que se llevara a cabo en Luxemburgo y cambió a un formato en línea debido a la pandemia de COVID-19. Los 24 artículos incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 79 presentaciones. Se ocupan de cuestiones fundamentales en la especificación, diseño, análisis e implementación de lenguajes y sistemas de programación. Nota de contenido: The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More – Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. . 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 : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings Tipo de documento: documento electrónico Autores: Pérez, Jorge A., ; Yoshida, Nobuko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIV, 299 p. 1287 ilustraciones, 38 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-21759-4 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: Ingeniería de software Compiladores (programas informáticos) Computadoras digitales electrónicas Ciencias de la Computación Ordenadores Profesiones Compiladores e intérpretes Rendimiento y evaluación del sistema Lógica informática y fundamentos de la programación La profesión informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 39.a Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2019, celebrada en Copenhague, Dinamarca, en junio de 2019, como parte de la 14.a Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2019. Los 15 artículos completos y 3 artículos breves presentados fueron cuidadosamente revisados y seleccionados entre 42 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teoría, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Psi-Calculi Revisited: Connectivity and Compositionality -- Squeezing Streams and Composition of Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis -- Component-aware Input-Output Conformance -- Declarative Choreographies and Liveness -- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes -- Causal-Consistent Replay Debugging for Message Passing Programs -- Correct and Efficient Antichain Algorithms for Refinement Checking -- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification -- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs -- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework -- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems -- On Certifying DistributedAlgorithms: Problem of Local Correctness -- On a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security Policies. . 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 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings [documento electrónico] / Pérez, Jorge A., ; Yoshida, Nobuko, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIV, 299 p. 1287 ilustraciones, 38 ilustraciones en color.
ISBN : 978-3-030-21759-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Compiladores (programas informáticos) Computadoras digitales electrónicas Ciencias de la Computación Ordenadores Profesiones Compiladores e intérpretes Rendimiento y evaluación del sistema Lógica informática y fundamentos de la programación La profesión informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas de la 39.a Conferencia Internacional IFIP WG 6.1 sobre Técnicas Formales para Objetos, Componentes y Sistemas Distribuidos, FORTE 2019, celebrada en Copenhague, Dinamarca, en junio de 2019, como parte de la 14.a Conferencia Federada Internacional sobre Técnicas de Computación Distribuida. , DisCoTec 2019. Los 15 artículos completos y 3 artículos breves presentados fueron cuidadosamente revisados y seleccionados entre 42 presentaciones. La conferencia está dedicada a la investigación fundamental sobre teoría, modelos, herramientas y aplicaciones para sistemas distribuidos. Nota de contenido: Psi-Calculi Revisited: Connectivity and Compositionality -- Squeezing Streams and Composition of Self-Stabilizing Algorithms -- Parametric Updates in Parametric Timed Automata -- Parametric Statistical Model Checking of UAV Flight plan -- Only Connect, Securely -- Output-sensitive Information Flow Analysis -- Component-aware Input-Output Conformance -- Declarative Choreographies and Liveness -- Model checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes -- Causal-Consistent Replay Debugging for Message Passing Programs -- Correct and Efficient Antichain Algorithms for Refinement Checking -- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification -- Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs -- Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework -- Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems -- On Certifying DistributedAlgorithms: Problem of Local Correctness -- On a Higher-order Calculus of Computational Fields -- Semantically Sound Analysis of Content Security Policies. . 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
