Programming Languages and Systems: 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings

by Sukyoung Ryu

Overview

This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.

The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.

Product Details

ISBN-13:	9783030027674
Publisher:	Springer International Publishing
Publication date:	10/22/2018
Series:	Lecture Notes in Computer Science , #11275
Edition description:	1st ed. 2018
Pages:	437
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

Types.- Program Analysis.- Tools.- Functional Programs and Probabilistic Programs.- Verification.- Logic.- Continuation and Model Checking.