Programming Languages and Systems

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

Editors:

ISBN: 978-3-642-35181-5 (Print) 978-3-642-35182-2 (Online)

Table of contents (27 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Session I: Invited Talk

    1. No Access

      Book Chapter

      Pages 1-1

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

  3. Session II: Concurrency

    1. No Access

      Book Chapter

      Pages 2-17

      JATO: Native Code Atomicity for Java

    2. No Access

      Book Chapter

      Pages 18-33

      Ownership Types for Object Synchronisation

  4. Session III: Security

    1. No Access

      Book Chapter

      Pages 34-49

      A Functional View of Imperative Information Flow

    2. No Access

      Book Chapter

      Pages 50-65

      End-to-end Multilevel Hybrid Information Flow Control

    3. No Access

      Book Chapter

      Pages 66-81

      Succour to the Confused Deputy

    4. No Access

      Book Chapter

      Pages 82-97

      Types and Access Controls for Cross-Domain Security in Flash

  5. Session IV: Static Analysis I

    1. No Access

      Book Chapter

      Pages 98-114

      Linear Approximation of Continuous Systems with Trapezoid Step Functions

    2. No Access

      Book Chapter

      Pages 115-130

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

    3. No Access

      Book Chapter

      Pages 131-147

      Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks

    4. No Access

      Book Chapter

      Pages 148-156

      Vinter: A Vampire-Based Tool for Interpolation

  6. Session V: Static Analysis II

    1. No Access

      Book Chapter

      Pages 157-172

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

    2. No Access

      Book Chapter

      Pages 173-189

      Inference of Necessary Field Conditions with Abstract Interpretation

  7. Session VI: Language Design

    1. No Access

      Book Chapter

      Pages 190-206

      Lazy v. Yield: Incremental, Linear Pretty-Printing

    2. No Access

      Book Chapter

      Pages 207-222

      Dynamic Software Update for Message Passing Programs

    3. No Access

      Book Chapter

      Pages 223-238

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

  8. Session VII: Dynamic Analysis

    1. No Access

      Book Chapter

      Pages 239-255

      Concurrent Test Generation Using Concolic Multi-trace Analysis

    2. No Access

      Book Chapter

      Pages 256-263

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

  9. Session VIII: Complexity and Semantics

    1. No Access

      Book Chapter

      Pages 264-279

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

    2. No Access

      Book Chapter

      Pages 280-295

      A New Order-Theoretic Characterisation of the Polytime Computable Functions

previous Page of 2