Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings

Vijay Saraswat (auth.), Zhong Shao (eds.)3540766367, 9783540766360

This book constitutes the refereed proceedings of the 5th Asian Symposium on Programming Languages and Systems, APLAS 2007, held in Singapore, in November/December 2007.

The 25 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 84 submissions. The symposium addresses all issues in programming languages and systems – ranging from foundational to practical issues. The papers focus on 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 –
X10: Concurrent Programming for Modern Architectures….Pages 1-1
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification….Pages 2-18
Local Reasoning for Storable Locks and Threads….Pages 19-37
Monadic, Prompt Lazy Assertions in Haskell….Pages 38-53
Translation Correctness for First-Order Object-Oriented Pattern Matching….Pages 54-70
Persistent Oberon: A Programming Language with Integrated Persistence….Pages 71-85
More Typed Assembly Languages for Confidentiality….Pages 86-104
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics….Pages 105-121
On a Tighter Integration of Functional and Logic Programming….Pages 122-138
Scalable Simulation of Cellular Signaling Networks….Pages 139-157
Timed, Distributed, Probabilistic, Typed Processes….Pages 158-174
A Probabilistic Applied Pi–Calculus….Pages 175-190
Type-Based Verification of Correspondence Assertions for Communication Protocols….Pages 191-205
Deriving Compilers and Virtual Machines for a Multi-level Language….Pages 206-221
Finally Tagless, Partially Evaluated….Pages 222-238
Polymorphic Delimited Continuations….Pages 239-254
Adjunct Elimination in Context Logic for Trees….Pages 255-270
Positive Arithmetic Without Exchange Is a Subclassical Logic….Pages 271-285
Mixed Inductive/Coinductive Types and Strong Normalization….Pages 286-301
Static and Dynamic Analysis: Better Together….Pages 302-302
The Semantics of “Semantic Patches” in Coccinelle: Program Transformation for the Working Programmer….Pages 303-318
An Efficient SSA-Based Algorithm for Complete Global Value Numbering….Pages 319-334
A Systematic Approach to Probabilistic Pointer Analysis….Pages 335-350
Complete Lattices and Up-To Techniques….Pages 351-366
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract….Pages 367-382
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence….Pages 383-398
Call-by-Name and Call-by-Value in Normal Modal Logic….Pages 399-414
Call-by-Value Is Dual to Call-by-Name, Extended….Pages 415-430
Back Matter….Pages –