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,170
- 貴賓價: 9.5 折 $2,062
- 語言: 英文
- 頁數: 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篇投稿中選出。這些論文按照以下主題進行組織:第一部分:效果和模態類型;雙向類型和會話類型;依賴類型;第二部分:量子編程和特定領域語言;驗證;程式分析;抽象解釋。