Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings / Thomas Wies, editor.
2023
QA76.6
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Open access
Document Delivery Supplied
Open access
Details
Title
Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings / Thomas Wies, editor.
ISBN
9783031300448 (electronic bk.)
3031300440 (electronic bk.)
9783031300431
3031300440 (electronic bk.)
9783031300431
Published
Cham, Switzerland : Springer, 2023.
Language
English
Description
1 online resource (x, 558 pages) : illustrations.
Item Number
10.1007/978-3-031-30044-8 doi
Call Number
QA76.6
Dewey Decimal Classification
005.1
Summary
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.
Note
Includes author index.
Access Note
Open access.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed April 17, 2023).
Added Author
Wies, Thomas, editor.
Added Meeting Name
ETAPS (Conference) (26th : 2023 : Paris, France)
Series
Lecture notes in computer science ; 13990. 1611-3349
Lecture notes in computer science. Advanced research in computing and software science.
Lecture notes in computer science. Advanced research in computing and software science.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources