Skip to main content
SpringerLink
Log in
Book cover

Programming Languages and Systems

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Ranjit Jhala

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Atsushi Igarashi

    1. Graduate School of Informatics, Kyoto University, Sakyo-ku, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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

Log in via an institution
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

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  2. Session I: Invited Talk

    1. Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection

      • Jan Vitek
      Pages 1-1

  3. Session II: Concurrency

    1. JATO: Native Code Atomicity for Java

      • Siliang Li, Yu David Liu, Gang Tan
      Pages 2-17

    2. Ownership Types for Object Synchronisation

      • Yi Lu, John Potter, Jingling Xue
      Pages 18-33

  4. Session III: Security

    1. A Functional View of Imperative Information Flow

      • Thomas H. Austin, Cormac Flanagan, Martín Abadi
      Pages 34-49

    2. End-to-end Multilevel Hybrid Information Flow Control

      • Lennart Beringer
      Pages 50-65

    3. Succour to the Confused Deputy

      • Radha Jagadeesan, Corin Pitcher, James Riely
      Pages 66-81

    4. Types and Access Controls for Cross-Domain Security in Flash

      • Aseem Rastogi, Avik Chaudhuri, Rob Johnson
      Pages 82-97

  5. Session IV: Static Analysis I

    1. Linear Approximation of Continuous Systems with Trapezoid Step Functions

      • Giulia Costantini, Pietro Ferrara, Agostino Cortesi
      Pages 98-114

    2. Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code

      • Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 115-130

    3. Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks

      • Pascal Sotin, Xavier Rival
      Pages 131-147

    4. Vinter: A Vampire-Based Tool for Interpolation

      • Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov
      Pages 148-156

  6. Session V: Static Analysis II

    1. Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis

      • Kalmer Apinis, Helmut Seidl, Vesal Vojdani
      Pages 157-172

    2. Inference of Necessary Field Conditions with Abstract Interpretation

      • Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich
      Pages 173-189

  7. Session VI: Language Design

    1. Lazy v. Yield: Incremental, Linear Pretty-Printing

      • Oleg Kiselyov, Simon Peyton-Jones, Amr Sabry
      Pages 190-206

    2. Dynamic Software Update for Message Passing Programs

      • Gabrielle Anderson, Julian Rathke
      Pages 207-222

    3. A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming

      • Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti
      Pages 223-238

  8. Session VII: Dynamic Analysis

    1. Concurrent Test Generation Using Concolic Multi-trace Analysis

      • Niloofar Razavi, Franjo Ivančić, Vineet Kahlon, Aarti Gupta
      Pages 239-255

    2. Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis

      • Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma et al.
      Pages 256-263

  9. Session VIII: Complexity and Semantics

    1. Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints

      • Aloïs Brunel, Antoine Madet
      Pages 264-279
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

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.

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

Policies and ethics

Back to top

Search

Navigation