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.

Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings
  • 出版商: Springer
  • 出版日期: 2020-11-27
  • 售價: $2,410
  • 貴賓價: 9.5 折 $2,290
  • 語言: 英文
  • 頁數: 374
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030644367
  • ISBN-13: 9783030644369

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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疫情，會議以虛擬方式舉行。

類似商品