Programming Languages and Systems: 22nd Asian Symposium, Aplas 2024, Kyoto, Japan, October 22-24, 2024, Proceedings
Kiselyov, Oleg
- 出版商: Springer
- 出版日期: 2024-10-29
- 售價: $2,610
- 貴賓價: 9.5 折 $2,480
- 語言: 英文
- 頁數: 389
- 裝訂: Quality Paper - also called trade paper
- ISBN: 9819789427
- ISBN-13: 9789819789429
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024.
The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.
商品描述(中文翻譯)
本書為第22屆亞洲程式語言與系統研討會（APLAS 2024）的會議紀錄，該會議於2024年10月22日至24日在日本京都舉行。
這裡呈現的18篇完整論文經過仔細審查和選拔，來自37篇投稿。這些論文被歸類於以下主題部分：類型理論與語義框架；概率性與聲明式程式設計；量子計算；邏輯關係；驗證。
