Dino Distefano (auth.), G. Ramalingam (eds.)3540893296, 9783540893295
This book constitutes the refereed proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS 2008, held in Bangalore, India, in December 2008.
The 20 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 41 submissions. The symposium is devoted to all topics ranging from foundational to practical issues in programming languages and systems. The papers cover topics such as semantics, logics, foundational theory, type systems, language design, program analysis, optimization, transformation, software security, safety, verification, compiler systems, interpreters, abstract machines, domain-specific languages and systems, as well as programming tools and environments.
Table of contents :
Front Matter….Pages –
Abductive Inference for Reasoning about Heaps….Pages 1-2
A Sound Floating-Point Polyhedra Abstract Domain….Pages 3-18
A Flow-Sensitive Region Inference for CLI….Pages 19-35
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution….Pages 36-52
Static Detection of Place Locality and Elimination of Runtime Checks….Pages 53-74
Certified Reasoning in Memory Hierarchies….Pages 75-90
The Complexity of Coverage….Pages 91-106
Game Characterizations of Process Equivalences….Pages 107-121
Extensional Universal Types for Call-by-Value….Pages 122-137
Harnessing the Multicores: Nested Data Parallelism in Haskell….Pages 138-138
Minimal Ownership for Active Objects….Pages 139-154
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References….Pages 155-170
Reasoning about Java’s Reentrant Locks….Pages 171-187
ML Modules and Haskell Type Classes: A Constructive Comparison….Pages 188-204
The Essence of Form Abstraction….Pages 205-220
On Affine Usages in Signal-Based Communication….Pages 221-236
Abstraction of Clocks in Synchronous Data-Flow Systems….Pages 237-254
From Authorization Logics to Types for Authorization….Pages 255-255
Interface Types for Haskell….Pages 256-272
Exception Handlers as Extensible Cases….Pages 273-289
Sound and Complete Type Inference for a Systems Programming Language….Pages 290-306
An Operational Semantics for JavaScript….Pages 307-325
JavaScript Instrumentation in Practice….Pages 326-341
Back Matter….Pages –
Reviews
There are no reviews yet.