978-3-031-57262-3.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-57262-3
id oapen-20.500.12657-90434
record_format dspace
spelling oapen-20.500.12657-904342024-05-24T02:23:32Z 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::UMC Compilers and interpreters thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general 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-05-23T07:47:28Z 2024-05-23T07:47:28Z 2024 book ONIX_20240523_9783031572623_24 9783031572623 9783031572616 https://library.oapen.org/handle/20.500.12657/90434 eng Lecture Notes in Computer Science application/pdf n/a 978-3-031-57262-3.pdf https://link.springer.com/978-3-031-57262-3 Springer Nature Springer Nature Switzerland 10.1007/978-3-031-57262-3 10.1007/978-3-031-57262-3 6c6992af-b843-4f46-859c-f6e9998e40d5 011444bc-159d-4c3f-bcb9-f85b8275d6ca 9783031572623 9783031572616 Springer Nature Switzerland 14576 340 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-57262-3.pdf
spellingShingle 978-3-031-57262-3.pdf
title_short 978-3-031-57262-3.pdf
title_full 978-3-031-57262-3.pdf
title_fullStr 978-3-031-57262-3.pdf
title_full_unstemmed 978-3-031-57262-3.pdf
title_sort 978-3-031-57262-3.pdf
publisher Springer Nature
publishDate 2024
url https://link.springer.com/978-3-031-57262-3
_version_ 1799945294216953856