19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings / Oh, Hakjoo  

Público ISBD Ningún comentario para este título. Título : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings Tipo de documento: documento electrónico Autores: Oh, Hakjoo, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 321 p. 111 ilustraciones, 55 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-89051-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Compiladores (programas informáticos)  Inteligencia artificial  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Sistemas informáticos  Compiladores e intérpretes  Lógica informática y fundamentos de la programación.  Ingeniería Informática y Redes  Implementación de sistema informático Clasificación: 005.45 Resumen: Este libro constituye las actas del 19.º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2021, celebrado en Chicago, EE. UU., en octubre de 2021.* Los 17 trabajos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 43 presentaciones. Se organizaron en secciones temáticas denominadas: análisis y síntesis, compilación y transformación, lenguaje y verificación. * La conferencia se llevó a cabo en un formato híbrido debido a la pandemia de COVID-19. Nota de contenido: Analysis and Synthesis -- Scalable and Modular Robustness Analysis of Deep Neural Networks -- Function Pointer Eliminator for C Programs -- PyCT: A Python Concolic Tester -- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications -- Server-Side Computation of Package Dependencies in Package-Management Systems -- Compilation and Transformation -- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly -- A Dictionary-Passing Translation of Featherweight Go -- Hybrid quantum-classical circuit simplification with the ZX-calculus -- A compilation method for dynamic typing in ML -- Language Design -- The Choice Construct in the Soufflé Language -- Latent Effects for Reusable Language Components -- Adaptable Traces for Program Explanations -- A Typed Programmatic Interface to Contracts on the Blockchain -- Verification -- Simplifying of Alternating Automata for Emptiness Testing -- Termination Analysis for the pi-Calculus byReduction to Sequential Program Termination -- Proving LTL Properties of Bitvector Programs and Decompiled Binaries -- Solving Not-Substring Constraint with Flat Abstraction.-. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings [documento electrónico] / Oh, Hakjoo,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XIV, 321 p. 111 ilustraciones, 55 ilustraciones en color. ISBN : 978-3-030-89051-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Compiladores (programas informáticos)  Inteligencia artificial  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Sistemas informáticos  Compiladores e intérpretes  Lógica informática y fundamentos de la programación.  Ingeniería Informática y Redes  Implementación de sistema informático Clasificación: 005.45 Resumen: Este libro constituye las actas del 19.º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2021, celebrado en Chicago, EE. UU., en octubre de 2021.* Los 17 trabajos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 43 presentaciones. Se organizaron en secciones temáticas denominadas: análisis y síntesis, compilación y transformación, lenguaje y verificación. * La conferencia se llevó a cabo en un formato híbrido debido a la pandemia de COVID-19. Nota de contenido: Analysis and Synthesis -- Scalable and Modular Robustness Analysis of Deep Neural Networks -- Function Pointer Eliminator for C Programs -- PyCT: A Python Concolic Tester -- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications -- Server-Side Computation of Package Dependencies in Package-Management Systems -- Compilation and Transformation -- Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly -- A Dictionary-Passing Translation of Featherweight Go -- Hybrid quantum-classical circuit simplification with the ZX-calculus -- A compilation method for dynamic typing in ML -- Language Design -- The Choice Construct in the Soufflé Language -- Latent Effects for Reusable Language Components -- Adaptable Traces for Program Explanations -- A Typed Programmatic Interface to Contracts on the Blockchain -- Verification -- Simplifying of Alternating Automata for Emptiness Testing -- Termination Analysis for the pi-Calculus byReduction to Sequential Program Termination -- Proving LTL Properties of Bitvector Programs and Decompiled Binaries -- Solving Not-Substring Constraint with Flat Abstraction.-. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200