16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / Ryu, Sukyoung  

Público ISBD Ningún comentario para este título. Título : 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings Tipo de documento: documento electrónico Autores: Ryu, Sukyoung, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XI, 437 p. 123 ilustraciones ISBN/ISSN/DL: 978-3-030-02768-1 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)  Ingeniería de software  Programación de computadoras  Ciencias de la Computación  Inteligencia artificial  Computadoras digitales electrónicas  Compiladores e intérpretes  Técnicas de programación  Teoría de la Computación  Rendimiento y evaluación del sistema Clasificación: 005.45 Resumen: Este libro constituye las actas del 16º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2018, celebrado en Wellington, Nueva Zelanda, en diciembre de 2018. Los 22 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 51 presentaciones. Están organizados en secciones temáticas denominadas: tipos; análisis de programas; herramientas; programas funcionales y programas probabilísticos; verificación; lógica; y continuación y verificación del modelo. Nota de contenido: Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings [documento electrónico] / Ryu, Sukyoung,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XI, 437 p. 123 ilustraciones. ISBN : 978-3-030-02768-1 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)  Ingeniería de software  Programación de computadoras  Ciencias de la Computación  Inteligencia artificial  Computadoras digitales electrónicas  Compiladores e intérpretes  Técnicas de programación  Teoría de la Computación  Rendimiento y evaluación del sistema Clasificación: 005.45 Resumen: Este libro constituye las actas del 16º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2018, celebrado en Wellington, Nueva Zelanda, en diciembre de 2018. Los 22 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 51 presentaciones. Están organizados en secciones temáticas denominadas: tipos; análisis de programas; herramientas; programas funcionales y programas probabilísticos; verificación; lógica; y continuación y verificación del modelo. Nota de contenido: Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs -- Verification -- Logic -- Continuation and Model Checking. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018. The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking. 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