Programming Languages and Systems

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this vol...

Полное описание

Сохранить в:
Библиографические подробности
Формат: Online
Язык:английский
Опубликовано: Springer Nature 2023
Предметы:
Online-ссылка:ONIX_20230516_9783031300448_36
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
_version_ 1869516299005067264
collection Directory of Open Access Books
description This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
format Online
id doab-20.500.12854ir-100222
institution Directory of Open Access Books
language eng
publishDate 2023
publishDateRange 2023
publishDateSort 2023
publisher Springer Nature
publisherStr Springer Nature
record_format ojs
spelling doab-20.500.12854ir-1002222025-07-17T10:01:07Z Programming Languages and Systems Wies, Thomas Computer Science Informatics Conference Proceedings Research Applications 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::UM Computer programming / software engineering::UMX Programming and scripting languages: general This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems. 2023-05-17T04:03:06Z 2023-05-17T04:03:06Z 2023-05-16T15:06:56Z 2023 book ONIX_20230516_9783031300448_36 https://library.oapen.org/handle/20.500.12657/63011 9783031300448 9783031300431 https://directory.doabooks.org/handle/20.500.12854/100222 eng Lecture Notes in Computer Science open access image/jpeg image/jpeg n/a n/a https://library.oapen.org/bitstream/20.500.12657/63011/1/978-3-031-30044-8.pdf https://library.oapen.org/bitstream/20.500.12657/63011/1/978-3-031-30044-8.pdf Springer Nature Springer Nature Switzerland 10.1007/978-3-031-30044-8 10.1007/978-3-031-30044-8 9fa3421d-f917-4153-b9ab-fc337c396b5a 99727d78-c480-4bf5-8481-ad1401d1f956 9783031300448 9783031300431 Springer Nature Switzerland 566 Cham [...] open access
spellingShingle Computer Science
Informatics
Conference Proceedings
Research
Applications
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::UM Computer programming / software engineering::UMX Programming and scripting languages: general
Programming Languages and Systems
title Programming Languages and Systems
title_full Programming Languages and Systems
title_fullStr Programming Languages and Systems
title_full_unstemmed Programming Languages and Systems
title_short Programming Languages and Systems
title_sort programming languages and systems
topic Computer Science
Informatics
Conference Proceedings
Research
Applications
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::UM Computer programming / software engineering::UMX Programming and scripting languages: general
topic_facet Computer Science
Informatics
Conference Proceedings
Research
Applications
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::UM Computer programming / software engineering::UMX Programming and scripting languages: general
url ONIX_20230516_9783031300448_36