Skip to main content
SpringerLink
Log in

Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Bruno C. d. S. Oliveira

    1. University of Hong Kong, Hong Kong, Hong Kong

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12470)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: APLAS 2020.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Program Analysis and Verification

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Set-Based Context Model for Program Analysis

      • Leandro Fachinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro
      Pages 3-24

    3. Declarative Stream Runtime Verification (hLola)

      • Martín Ceresa, Felipe Gorostiaga, César Sánchez
      Pages 25-43

    4. Formal Verification of Atomicity Requirements for Smart Contracts

      • Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
      Pages 44-64

  3. Types

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Neural Networks, Secure by Construction

      • Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall
      Pages 67-85

    3. A New Refinement Type System for Automated \(\nu \text {HFL}_\mathbb {Z}\) Validity Checking

      • Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada
      Pages 86-104

    4. Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language

      • Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen et al.
      Pages 105-124

    5. Syntactically Restricting Bounded Polymorphism for Decidable Subtyping

      • Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves
      Pages 125-144

  4. Semantics

    1. Front Matter

      Pages 145-145
      Download chapter PDF

    2. An Abstract Machine for Strong Call by Value

      • Małgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
      Pages 147-166

    3. Certified Semantics for Relational Programming

      • Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
      Pages 167-185

    4. Algebraic and Coalgebraic Perspectives on Interaction Laws

      • Tarmo Uustalu, Niels Voorneveld
      Pages 186-205

  5. Program Generation, Transactions and Automation

    1. Front Matter

      Pages 207-207
      Download chapter PDF

    2. Stack-Driven Program Generation of WebAssembly

      • Árpád Perényi, Jan Midtgaard
      Pages 209-230

    3. Banyan: Coordination-Free Distributed Transactions over Mergeable Types

      • Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
      Pages 231-250

    4. Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?

      • Xiaotong Liu, Tong Jia, Ying Li, Hao Yu, Yang Yue, Chuanjia Hou
      Pages 251-269

  6. Synthesis and Program Transformation

    1. Front Matter

      Pages 271-271
      Download chapter PDF

    2. Parameterized Synthesis with Safety Properties

      • Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
      Pages 273-292
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

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.

Editors and Affiliations

  • University of Hong Kong, Hong Kong, Hong Kong

    Bruno C. d. S. Oliveira

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation