Programming Languages and Systems
15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
- (view affiliations)
- 19k Downloads
The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length.