Programming Languages and Systems: 23rd Asian Symposium, Aplas 2025, Bengaluru, India, October 27-30, 2025, Proceedings
暫譯: 程式語言與系統：第23屆亞洲研討會，Aplas 2025，印度班加羅爾，2025年10月27日至30日，會議論文集
Potanin, Alex
- 出版商: Springer
- 出版日期: 2025-10-31
- 售價: $3,380
- 貴賓價: 9.5 折 $3,211
- 語言: 英文
- 頁數: 276
- 裝訂: Quality Paper - also called trade paper
- ISBN: 9819535840
- ISBN-13: 9789819535842
-
相關分類:
Functional-programming
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 23nd Asian Symposium on Programming Languages and Systems, APLAS 2025, held in Bengaluru, India, October 27-30, 2025.
The 13 full papers presented here were carefully reviewed and selected from 28 submissions.They were focused on the following topical sections: Type Systems, Safety, and Verification; Control, Effects, and Decidability; Quantum Programming and Logic; Program Analysis, Specifications, and Decision Procedures; AI and Compiler Optimisation for Performance.
商品描述(中文翻譯)
本書為第23屆亞洲程式語言與系統研討會（APLAS 2025）的會議論文集，該會議於2025年10月27日至30日在印度班加羅爾舉行。
這裡呈現的13篇完整論文經過仔細審查和選擇，來自28篇投稿。這些論文集中於以下主題部分：類型系統、安全性與驗證；控制、效應與可決定性；量子程式設計與邏輯；程式分析、規範與決策程序；人工智慧與編譯器性能優化。
