Programming Languages and Systems

14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings

  • Atsushi Igarashi
Conference proceedings APLAS 2016

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

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. Invited Presentations

    1. Front Matter
      Pages 1-1
    2. Henry DeYoung, Frank Pfenning
      Pages 3-22
  3. Verification and Analysis I

    1. Front Matter
      Pages 23-23
    2. Sooyoung Cha, Sehun Jeong, Hakjoo Oh
      Pages 25-41
    3. Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi, Priya Narasimhan
      Pages 42-62
  4. Process Calculus

    1. Front Matter
      Pages 85-85
    2. Alwen Tiu, Nam Nguyen, Ross Horne
      Pages 87-95
    3. Hans Hüttel
      Pages 96-115
    4. Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
      Pages 116-136
  5. Profiling and Debugging

    1. Front Matter
      Pages 137-137
    2. Andrea Rosà, Lydia Y. Chen, Walter Binder
      Pages 139-147
    3. Ryoya Arai, Shigeyuki Sato, Hideya Iwasaki
      Pages 148-168
  6. λ-Calculus

    1. Front Matter
      Pages 169-169
    2. Daniel J. Dougherty, Ugo de’Liguoro, Luigi Liquori, Claude Stolze
      Pages 187-205
    3. Beniamino Accattoli, Giulio Guerrieri
      Pages 206-226
  7. Type Theory

    1. Front Matter
      Pages 227-227
    2. Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
      Pages 229-250
    3. Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira
      Pages 251-270
    4. Oleg Kiselyov, Yukiyoshi Kameyama, Yuto Sudo
      Pages 271-291
  8. Verification and Analysis II

    1. Front Matter
      Pages 293-293
    2. Taku Terao, Takeshi Tsukada, Naoki Kobayashi
      Pages 295-313
    3. Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner
      Pages 314-334
    4. Kazuhide Yasukata, Takeshi Tsukada, Naoki Kobayashi
      Pages 335-353
  9. Programming Paradigms

    1. Front Matter
      Pages 355-355
    2. Gabriel Radanne, Jérôme Vouillon, Vincent Balat
      Pages 377-397
  10. Separation Logic

    1. Front Matter
      Pages 399-399
    2. Azalea Raad, José Fragoso Santos, Philippa Gardner
      Pages 401-422
  11. Back Matter
    Pages 465-465

About these proceedings


This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.

The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.



logic programming model checking program verification security theorem proving algorithms concurrent program logic cryptographic primitives decision procedure distributed environments functional languages java virtual machine operational semantics programming languages regular expressions static analysis turing machines type systems virtual machine Web

Editors and affiliations

  • Atsushi Igarashi
    • 1
  1. 1.Kyoto University KyotoJapan

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-47957-6
  • Online ISBN 978-3-319-47958-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment