Programming Languages and Systems

Authors :: Sergey, Ilya
Publication Year :: 2022
Publisher :: Cham: Springer Nature; Springer International Publishing, 2022.
Abstract: This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

Subjects :: automata theory
computer programming
computer systems
databases
distributed computer systems
distributed systems
embedded systems
formal languages
formal logic
linguistics
ontologies
parallel processing systems
program compilers
programming languages
semantics
software design
software engineering
software quality
verification
bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMX Programming & scripting languages: general
bic Book Industry Communication::U Computing & information technology::UY Computer science
bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMB Algorithms & data structures
bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware
bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development

Language :: English
ISBN :: 978-3-030-99336-8
3-030-99336-1
ISBNs :: 9783030993368 and 3030993361
Database :: OAPEN Library
Notes :: ONIX_20220413_9783030993368_23, , https://link.springer.com/978-3-030-99336-8
Publication Type :: eBook
Accession number :: edsoap.20.500.12657.54028
Document Type :: book
Full Text :: https://doi.org/10.1007/978-3-030-99336-8