Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Pra
Weirich, Stephanie
- 出版商: Springer
- 出版日期: 2024-04-05
- 售價: $2,190
- 貴賓價: 9.5 折 $2,081
- 語言: 英文
- 頁數: 340
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3031572610
- ISBN-13: 9783031572616
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
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.
商品描述(中文翻譯)
這套由兩卷開放存取的書籍 LNCS 14576 + 14577，是第33屆歐洲編程研討會（ESOP 2024）的論文集，該研討會於2024年4月6日至11日在盧森堡舉行，作為歐洲軟體理論與實踐聯合會議（ETAPS 2024）的一部分。
這些論文集中包含了25篇全文論文和1篇新觀點論文，經過嚴格的審查和選擇，從72篇投稿中選出。這些論文按照以下主題進行組織：第一部分：效果和模態類型；雙向類型和會話類型；依賴類型；第二部分：量子編程和特定領域語言；驗證；程式分析；抽象解釋。
