Afficher la notice abrégée

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-05-13T06:39:26Z
dc.date.available2022-05-13T06:39:26Z
dc.date.issued2022
dc.date.submitted2022-04-13T15:09:04Z
dc.identifierONIX_20220413_9783030993368_23
dc.identifierOCN: 1308974291
dc.identifierhttps://library.oapen.org/handle/20.500.12657/54028
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/81585
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.rightsopen access
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.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
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.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783030993368
oapen.imprintSpringer International Publishing
oapen.pages604
oapen.place.publicationCham
dc.seriesnumber13240


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access