Programming Languages and Systems
18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
Editors: Oliveira, Bruno C. d. S. (Ed.)
Buy this book
- About this book
-
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*
The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
* The conference was held virtually due to the COVID-19 pandemic.
- Table of contents (19 chapters)
-
-
A Set-Based Context Model for Program Analysis
Pages 3-24
-
Declarative Stream Runtime Verification (hLola)
Pages 25-43
-
Formal Verification of Atomicity Requirements for Smart Contracts
Pages 44-64
-
Neural Networks, Secure by Construction
Pages 67-85
-
A New Refinement Type System for Automated $$\nu \text {HFL}_\mathbb {Z}$$ Validity Checking
Pages 86-104
-
Table of contents (19 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Programming Languages and Systems
- Book Subtitle
- 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
- Editors
-
- Bruno C. d. S. Oliveira
- Series Title
- Programming and Software Engineering
- Series Volume
- 12470
- Copyright
- 2020
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-64437-6
- DOI
- 10.1007/978-3-030-64437-6
- Softcover ISBN
- 978-3-030-64436-9
- Edition Number
- 1
- Number of Pages
- XVI, 374
- Number of Illustrations
- 99 b/w illustrations, 88 illustrations in colour
- Topics
