Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings

by Ranjit Jhala (editor)

Planet Dynamic How I Learned to Stop Worrying and Love Reflection.- Native Code Atomicity for Java.- Ownership Types for Object Synchronisation.- A Functional View of Imperative Information Flow.- End-to-end Multilevel Hybrid Information Flow Control.- Succour to the Confused Types for Capabilities.- Types and Access Controls for Cross-Domain Security in Flash.- Linear Approximation of Continuous Systems with Trapezoid Step Functions.- Signedness-Agnostic Program Precise Integer Bounds for Low-Level Code.- Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks.- A Vampire-Based Tool for Interpolation (Tool Paper).- Side-Effecting Constraint A Swiss Army Knife for Program Analysis.- Inference of Necessary Field Conditions with Abstract Interpretation.- Lazy v. Incremental, Linear Pretty-Printing.- Dynamic Software Update for Message Passing Programs.- A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming.- Concurrent Test Generation Using Concolic Multi-trace Analysis.- Java Bytecode Instrumentation Made The DiSL Framework for Dynamic Program Analysis.- Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.- A New Order-Theoretic Characterisation of the Polytime Computable Functions.- A Dynamic Interpretation of the CPS Hierarchy.- Scalable Formal Machine Models.- Modular Verification of Concurrent Thread Management.- A Case for Behavior-Preserving Actions in Separation Logic.- A Generic Cyclic Theorem Prover.- Decision Procedures over Sophisticated Fractional Permissions.- Mechanized Semantics for Compiler Verification.

404 pages, Paperback

Published December 8, 2012