978-3-031-57267-8.pdf
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 pap...
| Γλώσσα: | English |
|---|---|
| Έκδοση: |
Springer Nature
2024
|
| Διαθέσιμο Online: | https://link.springer.com/978-3-031-57267-8 |
| id |
oapen-20.500.12657-89909 |
|---|---|
| record_format |
dspace |
| spelling |
oapen-20.500.12657-899092024-04-17T02:26:12Z Programming Languages and Systems Weirich, Stephanie 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 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. 2024-04-16T08:17:09Z 2024-04-16T08:17:09Z 2024 book ONIX_20240416_9783031572678_16 9783031572678 9783031572661 https://library.oapen.org/handle/20.500.12657/89909 eng Lecture Notes in Computer Science application/pdf n/a 978-3-031-57267-8.pdf https://link.springer.com/978-3-031-57267-8 Springer Nature Springer Nature Switzerland 10.1007/978-3-031-57267-8 10.1007/978-3-031-57267-8 6c6992af-b843-4f46-859c-f6e9998e40d5 0b4856d5-f8d2-455f-b170-2752d142372c 9783031572678 9783031572661 Springer Nature Switzerland 14577 452 Cham [...] open access |
| institution |
OAPEN |
| collection |
DSpace |
| language |
English |
| description |
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. |
| title |
978-3-031-57267-8.pdf |
| spellingShingle |
978-3-031-57267-8.pdf |
| title_short |
978-3-031-57267-8.pdf |
| title_full |
978-3-031-57267-8.pdf |
| title_fullStr |
978-3-031-57267-8.pdf |
| title_full_unstemmed |
978-3-031-57267-8.pdf |
| title_sort |
978-3-031-57267-8.pdf |
| publisher |
Springer Nature |
| publishDate |
2024 |
| url |
https://link.springer.com/978-3-031-57267-8 |
| _version_ |
1799945211309195264 |
