Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings

Haruo Hosoya (auth.), Kwangkeun Yi (eds.)3540297359, 9783540297352

This book constitutes the refereed proceedings of the Third Asian Symposium on Programming Languages and Systems, APLAS 2005, held in Tsukuba, Japan in November 2005.

The 24 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 78 submissions. Among the topics covered are semantics, type theory, program transformation, static analysis, verification, programming calculi, functional programming languages, language based security, real-time systems, embedded systems, formal systems design, Java objects, program analysis and optimization.

---

Table of contents :
Front Matter….Pages –
Type Systems for XML….Pages 1-1
The Essence of Dataflow Programming….Pages 2-18
Data Refinement with Low-Level Pointer Operations….Pages 19-36
A Simple Semantics for Polymorphic Recursion….Pages 37-51
Symbolic Execution with Separation Logic….Pages 52-68
An Abstract Interpretation Perspective on Linear vs. Branching Time….Pages 69-85
The Parallel Implementation of the Astrée Static Analyzer….Pages 86-96
Using Datalog with Binary Decision Diagrams for Program Analysis….Pages 97-118
Loop Invariants on Demand….Pages 119-134
Integrating Physical Systems in the Static Analysis of Embedded Control Software….Pages 135-138
Reflection Analysis for Java….Pages 139-160
Lightweight Family Polymorphism….Pages 161-177
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting….Pages 178-194
Race Conditions in Message Sequence Charts….Pages 195-211
A Next-Generation Platform for Analyzing Executables….Pages 212-229
Calculating Polynomial Runtime Properties….Pages 230-246
Resource Bound Certification for a Tail-Recursive Virtual Machine….Pages 247-263
A Path Sensitive Type System for Resource Usage Verification of C Like Languages….Pages 264-280
Termination Analysis of Higher-Order Functional Programs….Pages 281-297
Heterogeneous Fixed Points with Application to Points-To Analysis….Pages 298-314
Register Allocation Via Coloring of Chordal Graphs….Pages 315-329
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis….Pages 330-346
Abstract Dependences for Alarm Diagnosis….Pages 347-363
A Typed, Compositional Logic for a Stack-Based Abstract Machine….Pages 364-380
A New Occurrence Counting Analysis for BioAmbients….Pages 381-400
A Parametric Model for the Analysis of Mobile Ambients….Pages 401-417
On the Rôle of Abstract Non-interference in Language-Based Security….Pages 418-433
Back Matter….Pages –