Programming Languages and Systems

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

  • Zhenjiang Hu
Conference proceedings APLAS 2009

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Program Analysis

    1. Michal Segalov, Tal Lev-Ami, Roman Manevich, Ramalingam Ganesan, Mooly Sagiv
      Pages 30-46
    2. Rupesh Nasre, Kaushik Rajan, R. Govindarajan, Uday P. Khedker
      Pages 47-62
  4. Transformation and Optimization

    1. Akimasa Morihata
      Pages 63-78
    2. Ben Lippmeier
      Pages 95-110
  5. Type System

    1. Stefan Wehr, Peter Thiemann
      Pages 111-127
    2. Kohei Suenaga, Naoki Kobayashi
      Pages 128-143
    3. Yi Lu, John Potter, Jingling Xue
      Pages 144-160
  6. Separation Logic

    1. Robert Dockins, Aquinas Hobor, Andrew W. Appel
      Pages 161-177
    2. Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
      Pages 178-193
    3. Jules Villard, Étienne Lozes, Cristiano Calcagno
      Pages 194-209
  7. Logic and Foundation Theory

    1. Roberto M. Amadio
      Pages 210-225
    2. Michele Pagani, Paolo Tranquilli
      Pages 226-242
    3. Daisuke Kimura, Yoshihiko Kakutani
      Pages 243-258
  8. Software Security and Verification

    1. Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis
      Pages 259-274
    2. Elvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla
      Pages 294-310
    3. Nobuyuki Sato, Eijiro Sumii
      Pages 311-326
    4. Vincent Laviron, Francesco Logozzo
      Pages 343-358
  9. Back Matter

About these proceedings


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.


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

  • Zhenjiang Hu
    • 1
  1. 1.National Institute of Informatics (NII)Information Systems Architecture REsearch DivisionTokyoJapan

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-10671-2
  • Online ISBN 978-3-642-10672-9
  • 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