Back to Search
Start Over
Programming Languages and Systems
- Publication Year :
- 2024
- Publisher :
- Cham: Springer Nature; Springer Nature Switzerland, 2024.
-
Abstract
- The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows: Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.
- Subjects :
- effects
functional programming
semantics
program synthesis
session types
dependent types
quantum programming
verification
program analysis
abstract interpretation
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::UMC Compilers and interpreters
Subjects
Details
- Language :
- English
- ISBN :
- 978-3-031-57267-8
978-3-031-57266-1
3-031-57267-X
3-031-57266-1 - ISBNs :
- 9783031572678, 9783031572661, 303157267X, and 3031572661
- Database :
- OAPEN Library
- Notes :
- ONIX_20240416_9783031572678_16, , https://link.springer.com/978-3-031-57267-8
- Publication Type :
- eBook
- Accession number :
- edsoap.20.500.12657.89909
- Document Type :
- book
- Full Text :
- https://doi.org/10.1007/978-3-031-57267-8