Show simple item record

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

dc.contributor.editorSergey, Ilya
dc.date.accessioned2022-04-13T15:09:04Z
dc.date.available2022-04-13T15:09:04Z
dc.date.issued2022
dc.identifierONIX_20220413_9783030993368_23
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/54028
dc.description.abstractThis 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.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: generalen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structuresen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardwareen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineeringen_US
dc.subject.otherautomata theory
dc.subject.othercomputer programming
dc.subject.othercomputer systems
dc.subject.otherdatabases
dc.subject.otherdistributed computer systems
dc.subject.otherdistributed systems
dc.subject.otherembedded systems
dc.subject.otherformal languages
dc.subject.otherformal logic
dc.subject.otherlinguistics
dc.subject.otherontologies
dc.subject.otherparallel processing systems
dc.subject.otherprogram compilers
dc.subject.otherprogramming languages
dc.subject.othersemantics
dc.subject.othersoftware design
dc.subject.othersoftware engineering
dc.subject.othersoftware quality
dc.subject.otherverification
dc.titleProgramming Languages and Systems
dc.title.alternative31st 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
dc.typebook
oapen.identifier.doi10.1007/978-3-030-99336-8
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isbn9783030993368
oapen.imprintSpringer International Publishing
oapen.series.number13240
oapen.pages604
oapen.place.publicationCham


Files in this item

Thumbnail
Name:
978-3-030-99336-8.pdf
Size:
10.79Mb
Format:
PDF
ISBN:
9783030993368
License:
http://creativecommons.org/lic ...
Webshop link:
https://link.springer.com/978- ...
View/Open

This item appears in the following Collection(s)

Show simple item record