© 2018

Programming Languages and Systems

16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

  • Sukyoung Ryu
Conference proceedings APLAS 2018

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11275)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Types

    1. Front Matter
      Pages 1-1
    2. Pablo Barenbaum, Gonzalo Ciruelos
      Pages 24-44
    3. Beniamino Accattoli, Giulio Guerrieri
      Pages 45-66
  3. Program Analysis

    1. Front Matter
      Pages 67-67
    2. Xuan-Bach Le, Aquinas Hobor, Anthony W. Lin
      Pages 89-108
  4. Tools

    1. Front Matter
      Pages 129-129
    2. Youssef El Bakouny, Dani Mezher
      Pages 131-145
    3. Adrien Champion, Naoki Kobayashi, Ryosuke Sato
      Pages 146-156
    4. Hideyuki Kawabata, Yuta Tanaka, Mai Kimura, Tetsuo Hironaka
      Pages 157-165
    5. Timothy Jones, Michael Homer
      Pages 166-177
  5. Functional Programs and Probabilistic Programs

    1. Front Matter
      Pages 179-179
    2. Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee
      Pages 181-201
    3. Shingo Eguchi, Naoki Kobayashi, Takeshi Tsukada
      Pages 223-241
  6. Verification

    1. Front Matter
      Pages 243-243
    2. Junpeng Zha, Xinyu Feng, Lei Qiao
      Pages 245-263

About these proceedings


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.


artificial intelligence computer architecture formal logic functional programming model checking program analysis program compilers program synthesis program transformation programming languages semantics software engineering software evaluation specifications verification

Editors and affiliations

  1. 1.Korea Advanced Institute of Science and TechnologyDaejeonKorea (Republic of)

Bibliographic information