Springer
APLAS 2020FukuokaJapanNovember 30 - December 22020Proceedings
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
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.
Report an issue with this product.