Skip to main content

Programming Languages and Systems

10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

  • Conference proceedings
  • © 2012


  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

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

Included in the following conference series:

Conference proceedings info: APLAS 2012.

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

Access this book

Subscribe and save

Springer+ Basic
EUR 32.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 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.

Similar content being viewed by others


Table of contents (27 papers)

  1. Session I: Invited Talk

  2. Session II: Concurrency

  3. Session III: Security

  4. Session IV: Static Analysis I

  5. Session V: Static Analysis II

  6. Session VI: Language Design

  7. Session VII: Dynamic Analysis

  8. Session VIII: Complexity and Semantics

Other volumes

  1. Programming Languages and Systems

Editors and Affiliations

  • Computer Science Department, University of California, San Diego, La Jolla, USA

    Ranjit Jhala

  • Graduate School of Informatics, Kyoto University, Sakyo-ku, Japan

    Atsushi Igarashi

Bibliographic Information

Publish with us