This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
ISBN: | 9783030341749 |
Publication date: | 9th November 2019 |
Author: | Anthony Widjaja Lin |
Publisher: | Springer Nature Switzerland AG |
Format: | Paperback |
Pagination: | 492 pages |
Series: | Lecture Notes in Computer Science |
Genres: |
Compilers and interpreters Software Engineering Computer programming / software engineering Systems analysis and design Information technology: general topics Mathematical theory of computation |