Cover Image

Programming Languages and Systems

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 vol...

Full description

Saved in:
Format: Online
Language:English
Published: Springer Nature 2022
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
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
thema EDItEUR::U Computing and Information Technology::UY Computer science
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
Online Access:ONIX_20220413_9783030993368_23
Tags: Add Tag
No Tags, Be the first to tag this record!
Summary: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.

Similar Items