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)

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

About these proceedings

Introduction

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.

 


Keywords

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 https://doi.org/10.1007/978-3-319-47958-3
  • 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