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,980
  • 貴賓價: 9.5$2,831
  • 語言: 英文
  • 頁數: 374
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3030644367
  • ISBN-13: 9783030644369

下單後立即進貨 (約1週~2週)


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.