Información de la indexación
005 Ciencia de los computadores (Programación, programas, datos de computador)Documentos en la biblioteca con la clasificación 005.45 (139)
Crear una solicitud de compra Refinar búsqueda16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / Ryu, Sukyoung
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 [...]
TÃtulo : 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings Tipo de documento: documento electrónico Autores: Lin, Anthony Widjaja, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 492 p. 609 ilustraciones, 24 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-34175-6 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 Computadoras digitales electrónicas Ordenadores Profesiones Ciencias de la Computación Compiladores e intérpretes Técnicas de programación Rendimiento y evaluación del sistema La profesión informática Lógica informática y fundamentos de la programación. Clasificación: 005.45 Resumen: Este libro constituye las actas del 17º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2019, celebrado en Nusa Dua, Bali, Indonesia, en diciembre de 2019. Los 22 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 50 presentaciones. Estaban organizados en secciones temáticas denominadas: artÃculos invitados, tipos, análisis de programas, semántica, diseño e implementación de lenguajes, concurrencia, verificación y lógica y autómatas. Nota de contenido: Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings [documento electrónico] / Lin, Anthony Widjaja, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 492 p. 609 ilustraciones, 24 ilustraciones en color.
ISBN : 978-3-030-34175-6
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 Computadoras digitales electrónicas Ordenadores Profesiones Ciencias de la Computación Compiladores e intérpretes Técnicas de programación Rendimiento y evaluación del sistema La profesión informática Lógica informática y fundamentos de la programación. Clasificación: 005.45 Resumen: Este libro constituye las actas del 17º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2019, celebrado en Nusa Dua, Bali, Indonesia, en diciembre de 2019. Los 22 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 50 presentaciones. Estaban organizados en secciones temáticas denominadas: artÃculos invitados, tipos, análisis de programas, semántica, diseño e implementación de lenguajes, concurrencia, verificación y lógica y autómatas. Nota de contenido: Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation -- Concurrency -- Verification -- Logic and Automata. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings Tipo de documento: documento electrónico Autores: Oliveira, Bruno C. d. S., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVI, 374 p. 187 ilustraciones, 88 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-64437-6 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 Programación de computadoras Ciencias de la Computación IngenierÃa de software IngenierÃa Informática Red de computadoras Compiladores e intérpretes Técnicas de programación Lógica informática y fundamentos de la programación. IngenierÃa Informática y Redes Clasificación: 005.45 Resumen: Este libro constituye las actas del 18.º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2020, celebrado en Fukuoka, Japón, en diciembre de 2020.* Los 19 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 46 presentaciones. Estaban organizados en secciones temáticas denominadas: artÃculos invitados, tipos, análisis de programas, semántica, diseño e implementación de lenguajes, concurrencia, verificación y lógica y autómatas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Program Analysis and Verification -- A Set-Based Context Model for Program Analysis -- Declarative Stream Runtime Verification (hLola) -- Formal Verification of Atomicity Requirements for Smart Contracts -- Types -- Neural Networks, Secure by Construction: An Exploration of Refinement Types -- A New Refinement Type System for Automated nu-HFLZ Validity Checking -- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language -- Syntactically Restricting Bounded Polymorphism for Decidable Subtyping -- Semantics -- An Abstract Machine for Strong Call by Value -- Certified Semantics for Relational Programming -- Algebraic and Coalgebraic Perspectives on Interaction Laws -- Program Generation, Transactions and Automation -- Stack-Driven Program Generation of WebAssembly -- Banyan: Coordination-free Transactions over Mergeable Replicated Data Types -- Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? -- Synthesis and ProgramTransformation -- Synthesis and Program Transformation -- Relational Synthesis for Pattern Matching -- REFINITY to Model and Prove Program Transformation Rules -- Debugging, Profiling and Constraint Solving -- A Counterexample-Guided Debugger for Non-Recursive Datalog -- A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving -- P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.* The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. * The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings [documento electrónico] / Oliveira, Bruno C. d. S., . - 1 ed. . - [s.l.] : Springer, 2020 . - XVI, 374 p. 187 ilustraciones, 88 ilustraciones en color.
ISBN : 978-3-030-64437-6
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 Programación de computadoras Ciencias de la Computación IngenierÃa de software IngenierÃa Informática Red de computadoras Compiladores e intérpretes Técnicas de programación Lógica informática y fundamentos de la programación. IngenierÃa Informática y Redes Clasificación: 005.45 Resumen: Este libro constituye las actas del 18.º Simposio Asiático sobre Lenguajes y Sistemas de Programación, APLAS 2020, celebrado en Fukuoka, Japón, en diciembre de 2020.* Los 19 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 46 presentaciones. Estaban organizados en secciones temáticas denominadas: artÃculos invitados, tipos, análisis de programas, semántica, diseño e implementación de lenguajes, concurrencia, verificación y lógica y autómatas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Program Analysis and Verification -- A Set-Based Context Model for Program Analysis -- Declarative Stream Runtime Verification (hLola) -- Formal Verification of Atomicity Requirements for Smart Contracts -- Types -- Neural Networks, Secure by Construction: An Exploration of Refinement Types -- A New Refinement Type System for Automated nu-HFLZ Validity Checking -- Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language -- Syntactically Restricting Bounded Polymorphism for Decidable Subtyping -- Semantics -- An Abstract Machine for Strong Call by Value -- Certified Semantics for Relational Programming -- Algebraic and Coalgebraic Perspectives on Interaction Laws -- Program Generation, Transactions and Automation -- Stack-Driven Program Generation of WebAssembly -- Banyan: Coordination-free Transactions over Mergeable Replicated Data Types -- Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? -- Synthesis and ProgramTransformation -- Synthesis and Program Transformation -- Relational Synthesis for Pattern Matching -- REFINITY to Model and Prove Program Transformation Rules -- Debugging, Profiling and Constraint Solving -- A Counterexample-Guided Debugger for Non-Recursive Datalog -- A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving -- P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.* The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. * The conference was held virtually due to the COVID-19 pandemic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 [...]
TÃtulo : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings Tipo de documento: documento electrónico Autores: Calimeri, Francesco, ; Hamlen, Kevin, ; Leone, Nicola, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 203 p. 56 ilustraciones ISBN/ISSN/DL: 978-3-319-73305-0 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) Ciencias de la Computación TeorÃa de las máquinas Programación de computadoras IngenierÃa de software Compiladores e intérpretes Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Técnicas de programación Clasificación: 005.45 Resumen: Este libro constituye las actas del 20.º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2018, celebrado en Los Ãngeles, CA, EE. UU., en enero de 2018 y coincidido con el 45.º Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 13 artÃculos regulares presentados en este volumen junto con los resúmenes de 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 23 presentaciones. Se ocupan de la programación funcional; programación de restricciones y reglas comerciales; prólogo y optimización; y programación de conjuntos de respuestas. . Nota de contenido: Functional programming -- Constraint programming and business rules -- Prolog and optimization -- Answer set programming. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings [documento electrónico] / Calimeri, Francesco, ; Hamlen, Kevin, ; Leone, Nicola, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 203 p. 56 ilustraciones.
ISBN : 978-3-319-73305-0
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) Ciencias de la Computación TeorÃa de las máquinas Programación de computadoras IngenierÃa de software Compiladores e intérpretes Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Técnicas de programación Clasificación: 005.45 Resumen: Este libro constituye las actas del 20.º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2018, celebrado en Los Ãngeles, CA, EE. UU., en enero de 2018 y coincidido con el 45.º Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 13 artÃculos regulares presentados en este volumen junto con los resúmenes de 2 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 23 presentaciones. Se ocupan de la programación funcional; programación de restricciones y reglas comerciales; prólogo y optimización; y programación de conjuntos de respuestas. . Nota de contenido: Functional programming -- Constraint programming and business rules -- Prolog and optimization -- Answer set programming. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
