Skip to main content
SpringerLink
Log in

Programming Languages and Systems

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Xinyu Feng

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sungwoo Park

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: APLAS 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Programming with “Big Code”

      • Eran Yahav
      Pages 3-8

  3. Compilers

    1. Front Matter

      Pages 9-9
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter PDF

    2. A Strong Distillery

      • Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza
      Pages 231-250
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation