This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.*
The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification.
* The conference was held in a hybrid format due to the COVID-19 pandemic.
Hakjoo Oh
architecture verification and validation artificial intelligence computer programming computer systems distributed computer systems distributed systems embedded systems formal logic model checking object-oriented programming parallel processing systems program compilers programming languages software architecture software design