Advertisement

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
    3. Fabian Kunze, Gert Smolka, Yannick Forster
      Pages 264-283
    4. Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
      Pages 284-305
  7. Logic

  8. Continuation and Model Checking

    1. Front Matter
      Pages 373-373
    2. Depeng Liu, Bow-Yaw Wang, Lijun Zhang
      Pages 394-414
    3. Daniel Hillerström, Sam Lindley
      Pages 415-435
  9. Back Matter
    Pages 437-437

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-030-02768-1
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-02767-4
  • Online ISBN 978-3-030-02768-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site