Programming Languages and Systems: 18th Asian Symposium, Aplas 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings

Oliveira, Bruno C. D. S.

  • 出版商: Springer
  • 出版日期: 2020-11-27
  • 售價: $2,370
  • 貴賓價: 9.5$2,252
  • 語言: 英文
  • 頁數: 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.

類似商品