Programming Languages and Systems
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...
保存先:
| フォーマット: | Online |
|---|---|
| 言語: | 英語 |
| 出版事項: |
Springer Nature
2024
|
| 主題: | |
| オンライン･アクセス: | ONIX_20240416_9783031572678_16 |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
| _version_ | 1869514897515085824 |
|---|---|
| collection | Directory of Open Access Books |
| 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. |
| format | Online |
| id | doab-20.500.12854ir-136479 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2024 |
| publishDateRange | 2024 |
| publishDateSort | 2024 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1364792025-07-18T09:46:59Z 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 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-18T06:13:00Z 2024-04-18T06:13:00Z 2024-04-16T08:17:09Z 2024 book ONIX_20240416_9783031572678_16 OCN: 1429286799 https://library.oapen.org/handle/20.500.12657/89909 9783031572678 9783031572661 https://directory.doabooks.org/handle/20.500.12854/136479 eng Lecture Notes in Computer Science open access image/jpeg image/jpeg n/a n/a https://library.oapen.org/bitstream/20.500.12657/89909/1/978-3-031-57267-8.pdf https://library.oapen.org/bitstream/20.500.12657/89909/1/978-3-031-57267-8.pdf Springer Nature Springer Nature Switzerland 10.1007/978-3-031-57267-8 10.1007/978-3-031-57267-8 9fa3421d-f917-4153-b9ab-fc337c396b5a 0b4856d5-f8d2-455f-b170-2752d142372c 9783031572678 9783031572661 Springer Nature Switzerland 452 Cham [...] open access |
| spellingShingle | 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 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 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 | 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 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 |
| topic_facet | 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 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 |
| url | ONIX_20240416_9783031572678_16 |