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