Programming and Software Engineering
cover

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

eBook $59.99
price for USA in USD
  • ISBN 978-3-030-64437-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-030-64436-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions & severe weather in the US may cause delays
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
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)

Table of contents (19 chapters)
  • A Set-Based Context Model for Program Analysis

    Pages 3-24

    Fachinetti, Leandro (et al.)

  • Declarative Stream Runtime Verification (hLola)

    Pages 25-43

    Ceresa, Martín (et al.)

  • Formal Verification of Atomicity Requirements for Smart Contracts

    Pages 44-64

    Han, Ning (et al.)

  • Neural Networks, Secure by Construction

    Pages 67-85

    Kokke, Wen (et al.)

  • A New Refinement Type System for Automated $$\nu \text {HFL}_\mathbb {Z}$$ Validity Checking

    Pages 86-104

    Katsura, Hiroyuki (et al.)

Buy this book

eBook $59.99
price for USA in USD
  • ISBN 978-3-030-64437-6
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-030-64436-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions & severe weather in the US may cause delays
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

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