Programming Languages and Systems

1. Front Matter

   Pages I-XIX

   PDF

2. Invited Talk

   1. Front Matter

      Pages 1-1

      PDF

   2. Programming with “Big Code”

      • Eran Yahav

      Pages 3-8

3. Compilers

   1. Front Matter

      Pages 9-9

      PDF

   2. Memory-Efficient Tail Calls in the JVM with Imperative Functional Objects

      • Tomáš Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang et al.

      Pages 11-28

   3. A Secure Compiler for ML Modules

      • Adriaan Larmuseau, Marco Patrignani, Dave Clarke

      Pages 29-48

   4. Detection of Redundant Expressions: A Complete and Polynomial-Time Algorithm in SSA

      • Rekha R. Pai

      Pages 49-65

4. Separation Logic

   1. Front Matter

      Pages 67-67

      PDF

   2. Separation Logic with Monadic Inductive Definitions and Implicit Existentials

      • Makoto Tatsuta, Daisuke Kimura

      Pages 69-89

   3. Tree-Like Grammars and Separation Logic

      • Christoph Matheja, Christina Jansen, Thomas Noll

      Pages 90-108

5. Static Analysis and Abstract Interpretation

   1. Front Matter

      Pages 109-109

      PDF

   2. Randomized Resource-Aware Path-Sensitive Static Analysis

      • Tomasz Dudziak

      Pages 111-126

   3. Quadratic Zonotopes

      • Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey

      Pages 127-145

   4. Abstraction of Optional Numerical Values

      • Jiangchao Liu, Xavier Rival

      Pages 146-166

6. Hoare Logic and Types

   1. Front Matter

      Pages 167-167

      PDF

   2. Fault-Tolerant Resource Reasoning

      • Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner

      Pages 169-188

   3. Shifting the Blame

      • Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi

      Pages 189-207

   4. Aliasing Control in an Imperative Pure Calculus

      • Marco Servetto, Elena Zucca

      Pages 208-228

7. Functional Programming and Semantics

   1. Front Matter

      Pages 229-229

      PDF

   2. A Strong Distillery

      • Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza

      Pages 231-250

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

• Univ. of Science and Technology of China, Hefei, China

  Xinyu Feng

• Pohang Univ. of Science and Technology, Nam-Gu, Pohang, Korea (Republic of)

  Sungwoo Park

Policies and ethics