Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

doi:10.1007/978-3-030-99336-8

Contributor(s)

Sergey, Ilya (editor)

Language

English

Show full item record

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.

URI

https://doab-dev.siscern.org/handle/20.500.12854/186701

Keywords

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

DOI

10.1007/978-3-030-99336-8

ISBN

9783030993368

Publisher

Springer Nature

Publisher website

http://www.springernature.com/oabooks

Publication date and place

Cham, 2022

Imprint

Springer International Publishing

Series

Lecture Notes in Computer Science,