Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings

by Anthony Widjaja Lin

Overview

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.

Product Details

ISBN-13:	9783030341749
Publisher:	Springer International Publishing
Publication date:	11/09/2019
Series:	Lecture Notes in Computer Science , #11893
Edition description:	1st ed. 2019
Pages:	492
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

Invited Papers.- Types.- Program Analysis.- Semantics.- Language Design and Implementation.- Concurrency.- Verification.- Logic and Automata.