Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
暫譯: 程式語言與系統：第18屆亞洲研討會，Aplas 2020，日本福岡，2020年11月30日至12月2日，會議論文集
Oliveira, Bruno C. D. S.
相關主題
商品描述
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*
The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
* The conference was held virtually due to the COVID-19 pandemic.
商品描述(中文翻譯)
本書為第18屆亞洲程式語言與系統研討會（APLAS 2020）的會議紀錄，該會議於2020年12月在日本福岡舉行。
本卷中發表的19篇論文經過仔細審查和選擇，來自46篇投稿。這些論文被組織成以下主題部分：邀請論文、類型、程式分析、語義、語言設計與實作、併發、驗證，以及邏輯與自動機。
* 由於COVID-19疫情，會議以虛擬方式舉行。
