Programming Languages and Systems: 17th Asian Symposium, Aplas 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings
暫譯: 程式語言與系統：第十七屆亞洲研討會，Aplas 2019，印尼巴厘島努沙杜瓦，2019年12月1-4日，會議論文集
Lin, Anthony Widjaja
- 出版商: Springer
- 出版日期: 2019-11-09
- 售價: $2,420
- 貴賓價: 9.5 折 $2,299
- 語言: 英文
- 頁數: 492
- 裝訂: Quality Paper - also called trade paper
- ISBN: 3030341747
- ISBN-13: 9783030341749
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.
The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
商品描述(中文翻譯)
本書為第17屆亞洲程式語言與系統研討會（APLAS 2019）的會議論文集，該會議於2019年12月在印尼巴厘島努沙杜瓦舉行。
本卷中所呈現的22篇論文經過仔細審查和選擇，來自50篇投稿。這些論文被組織成以下主題部分：邀請論文、類型、程式分析、語意、語言設計與實作、併發性、驗證，以及邏輯與自動機。
