Programming Languages and Systems

13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings

  • Xinyu Feng
  • Sungwoo Park
Conference proceedings APLAS 2015

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

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

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Eran Yahav
      Pages 3-8
  3. Compilers

    1. Front Matter
      Pages 9-9
    2. Tomáš Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang et al.
      Pages 11-28
    3. Adriaan Larmuseau, Marco Patrignani, Dave Clarke
      Pages 29-48
  4. Separation Logic

    1. Front Matter
      Pages 67-67
    2. Christoph Matheja, Christina Jansen, Thomas Noll
      Pages 90-108
  5. Static Analysis and Abstract Interpretation

    1. Front Matter
      Pages 109-109
    2. Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
      Pages 127-145
    3. Jiangchao Liu, Xavier Rival
      Pages 146-166
  6. Hoare Logic and Types

    1. Front Matter
      Pages 167-167
    2. Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner
      Pages 169-188
    3. Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
      Pages 189-207
    4. Marco Servetto, Elena Zucca
      Pages 208-228
  7. Functional Programming and Semantics

    1. Front Matter
      Pages 229-229
    2. Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
      Pages 231-250
    3. Guilhem Jaber, Nicolas Tabareau
      Pages 271-291
  8. Model Checking

    1. Front Matter
      Pages 293-293
    2. Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi
      Pages 313-331
  9. Program Analysis - I

    1. Front Matter
      Pages 333-333
    2. Xiao Xiao, Shi Han, Charles Zhang, Dongmei Zhang
      Pages 335-355
    3. Haiyang Sun, Yudi Zheng, Lubomír Bulej, Stephen Kell, Walter Binder
      Pages 356-365
  10. Medley

    1. Front Matter
      Pages 367-367
    2. Chao Wang, Yi Lv, Gaoang Liu, Peng Wu
      Pages 369-386
    3. Emmanuel Hainry, Romain Péchoux
      Pages 387-404
  11. Programming Models

    1. Front Matter
      Pages 405-405
    2. Holger Bock Axelsen, Tetsuo Yokoyama
      Pages 407-426
    3. Deepthi Devaki Akkoorath, Annette Bieniusa
      Pages 427-444
  12. Program Analysis - II

    1. Front Matter
      Pages 463-463
    2. Yu Feng, Xinyu Wang, Isil Dillig, Thomas Dillig
      Pages 465-484
    3. Yannis Smaragdakis, George Balatsouras, George Kastrinis, Martin Bravenboer
      Pages 485-503
  13. Back Matter
    Pages 505-506

About these proceedings


This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.


Automated reasoning Concurrency and parallelism Dynamic analysis Functional languages Model checking Abstract interpretation Compilers Constraints Dynamic language Hoare logic Logic and verification Object oriented languages Operational semantics Program analysis Semantics Separation logic Software security Static analysis Type systems Type theory

Editors and affiliations

  • Xinyu Feng
    • 1
  • Sungwoo Park
    • 2
  1. 1.Univ. of Science and Technology of ChinaHefeiChina
  2. 2.Pohang Univ. of Science and TechnologyNam-Gu, PohangKorea (Republic of)

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-26528-5
  • Online ISBN 978-3-319-26529-2
  • 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
Oil, Gas & Geosciences