Programming Languages and Systems

12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings

  • Jacques Garrigue
Conference proceedings APLAS 2014
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8858)

Table of contents

  1. Front Matter
  2. Invited Presentation

  3. Regular Papers

    1. Edmund Soon Lee Lam, Iliano Cervesato
      Pages 19-38
    2. Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller
      Pages 39-57
    3. Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
      Pages 58-77
    4. Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
      Pages 78-98
    5. Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott Smith
      Pages 99-119
    6. Kentaro Kikuchi, Takafumi Sakurai
      Pages 120-139
    7. Shin-Cheng Mu, Ting-Wei Chen
      Pages 159-175
    8. Robert Dockins, Andrew Tolmach
      Pages 176-195
    9. Manuel Valdiviezo, Cristina Cifuentes, Padmanabhan Krishnan
      Pages 196-215
    10. Fu Song, Tayssir Touili
      Pages 216-235
    11. Mohamed Nassim Seghir, Peter Schrammel
      Pages 236-254
    12. Afshin Amighi, Stefan Blom, Marieke Huisman
      Pages 255-274
    13. Antonio Flores-Montoya, Reiner Hähnle
      Pages 275-295
    14. Aziem Chawdhary, Ed Robbins, Andy King
      Pages 296-313
    15. Constantin Enea, Ondřej Lengál, Mihaela Sighireanu, Tomáš Vojnar
      Pages 314-333
    16. Taku Terao, Naoki Kobayashi
      Pages 354-371

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation.

Keywords

constraints dynamic language logic programming logics memory leak model-checking operational semantics packet switching program analysis proof theory term rewriting type systems unification

Editors and affiliations

  • Jacques Garrigue
    • 1
  1. 1.Graduate School of MathematicsNagoya UniversityChikusa-ku, NagoyaJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-12736-1
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-12735-4
  • Online ISBN 978-3-319-12736-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book