Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Programming Languages and Systems

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Zhenjiang Hu

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

    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 5904)

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

Included in the following conference series:

Conference proceedings info: APLAS 2009.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as 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

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.

Similar content being viewed by others

Keywords

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  3. Program Analysis

    1. Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation

      • Hakjoo Oh
      Pages 14-29

    2. Abstract Transformers for Thread Correlation Analysis

      • Michal Segalov, Tal Lev-Ami, Roman Manevich, Ramalingam Ganesan, Mooly Sagiv
      Pages 30-46

    3. Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters

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

  4. Transformation and Optimization

    1. A Short Cut to Optimal Sequences

      • Akimasa Morihata
      Pages 63-78

    2. A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming

      • Shigeyuki Sato, Hideya Iwasaki
      Pages 79-94

    3. Witnessing Purity, Constancy and Mutability

      • Ben Lippmeier
      Pages 95-110

  5. 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

  6. 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

  7. 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

  8. Software Security and Verification

    1. Bi-abductive Resource Invariant Synthesis

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

Other volumes

  1. Programming Languages and Systems

Editors and Affiliations

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

    Zhenjiang Hu

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation