Skip to main content
  • Conference proceedings
  • © 2009

Programming Languages and Systems

7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009, Proceedings

Editors:

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

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

Conference series link(s): APLAS: Asian Symposium on Programming Languages and Systems

Conference proceedings info: APLAS 2009.

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-10672-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (24 papers)

  1. Front Matter

  2. Program Analysis

    1. Abstract Transformers for Thread Correlation Analysis

      • Michal Segalov, Tal Lev-Ami, Roman Manevich, Ramalingam Ganesan, Mooly Sagiv
      Pages 30-46
    2. Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters

      • Rupesh Nasre, Kaushik Rajan, R. Govindarajan, Uday P. Khedker
      Pages 47-62
  3. Transformation and Optimization

    1. A Short Cut to Optimal Sequences

      • Akimasa Morihata
      Pages 63-78
    2. Witnessing Purity, Constancy and Mutability

      • Ben Lippmeier
      Pages 95-110
  4. Type System

    1. On the Decidability of Subtyping with Bounded Existential Types

      • Stefan Wehr, Peter Thiemann
      Pages 111-127
    2. Fractional Ownerships for Safe Memory Deallocation

      • Kohei Suenaga, Naoki Kobayashi
      Pages 128-143
    3. Ownership Downgrading for Ownership Types

      • Yi Lu, John Potter, Jingling Xue
      Pages 144-160
  5. Separation Logic

    1. A Fresh Look at Separation Algebras and Share Accounting

      • Robert Dockins, Aquinas Hobor, Andrew W. Appel
      Pages 161-177
    2. Weak updates and separation logic

      • Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
      Pages 178-193
    3. Proving Copyless Message Passing

      • Jules Villard, √Čtienne Lozes, Cristiano Calcagno
      Pages 194-209
  6. Logic and Foundation Theory

    1. On Stratified Regions

      • Roberto M. Amadio
      Pages 210-225
    2. Parallel Reduction in Resource Lambda-Calculus

      • Michele Pagani, Paolo Tranquilli
      Pages 226-242
    3. Classical Natural Deduction for S4 Modal Logic

      • Daisuke Kimura, Yoshihiko Kakutani
      Pages 243-258
  7. Software Security and Verification

    1. Bi-abductive Resource Invariant Synthesis

      • Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis
      Pages 259-274

Other Volumes

  1. Programming Languages and Systems

    7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings

About this book

This book constitutes the refereed proceedings of the 7th Asian Symposium on Programming Languages and Systems, APLAS 2009, held in Seoul, Korea, in December 2009.

The 21 papers presented in this volume together with 3 invited talks were carefully reviewed and selected from 56 submissions. The papers are divided into topical sections on program analysis, transformation and optimization, type system, separation logic, logic and foundation theory, software security and verification, and software security and verification.

Keywords

  • APL
  • JavaScript
  • abstract interpretation
  • bisimulation
  • commutation
  • concurrency
  • formal specification
  • java programming
  • logic
  • logic programming
  • modeling languages
  • program semantics
  • programming
  • programming language
  • verification

Editors and Affiliations

  • National Institute of Informatics (NII), Information Systems Architecture REsearch Division, Tokyo, Japan

    Zhenjiang Hu

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-10672-9
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)