Programming Languages and Systems

17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings

  • Anthony Widjaja Lin
Conference proceedings APLAS 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Annabelle McIver, Carroll Morgan
      Pages 3-18
    3. Hossein Hojjat, Philipp Rümmer, Ali Shamakhi
      Pages 19-30
  3. Types

    1. Front Matter
      Pages 31-31
    2. Yuki Nishida, Atsushi Igarashi
      Pages 33-52
    3. Akira Kawata, Atsushi Igarashi
      Pages 53-72
    4. Raimil Cruz, Éric Tanter
      Pages 73-92
  4. Program Analysis

    1. Front Matter
      Pages 93-93
    2. Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 95-114
    3. Tukaram Muske, Rohith Talluri, Alexander Serebrenik
      Pages 115-135
    4. Youkichi Hosoi, Naoki Kobayashi, Takeshi Tsukada
      Pages 136-155
  5. Semantics

    1. Front Matter
      Pages 157-157
    2. Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
      Pages 159-180
    3. Kosuke Murata, Kento Emoto
      Pages 202-221
  6. Language Design and Implementation

    1. Front Matter
      Pages 223-223
    2. Nada Amin, William E. Byrd, Tiark Rompf
      Pages 225-243
    3. Daan Leijen, Benjamin Zorn, Leonardo de Moura
      Pages 244-265
  7. Concurrency

    1. Front Matter
      Pages 289-289
    2. Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan
      Pages 291-312
    3. Thomas Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy
      Pages 313-331
    4. Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
      Pages 332-354
  8. Verification

    1. Front Matter
      Pages 355-355
    2. Yu-Fang Chen, Chang-Yi Chiang, Lukáš Holík, Wei-Tsung Kao, Hsin-Hung Lin, Tomáš Vojnar et al.
      Pages 357-366
    3. Makoto Tatsuta, Koji Nakazawa, Daisuke Kimura
      Pages 367-387
    4. Wenbo Zhang, Huan Long, Xian Xu
      Pages 388-404
  9. Logic and Automata

    1. Front Matter
      Pages 425-425
    2. Aquinas Hobor, Elaine Li, Frank Stephan
      Pages 427-446
    3. Yu-Fang Chen, Vojtěch Havlena, Ondřej Lengál
      Pages 447-467
    4. Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Lenka Turoňová, Margus Veanes, Tomáš Vojnar
      Pages 468-489
  10. Back Matter
    Pages 491-492

About these proceedings


This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.

The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.


artificial intelligence computer programming concurrency data security databases formal logic language design and implementation model checking problem solving program compilers programming languages semantics software engineering software evaluation static analysis synthesis theorem proving type systems verification

Editors and affiliations

  1. 1.University of KaiserslauternKaiserslauternGermany

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Oil, Gas & Geosciences