+612 9045 4394
Programming Languages and Systems : 5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings - Zhong Shao

Programming Languages and Systems

5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings

By: Zhong Shao (Editor)


Published: 7th November 2007
Ships: 15 business days
15 business days
or 4 easy payments of $33.97 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 17th March 2014
    Ships: 15 business days
    15 business days

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 three 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 a broad range of topics.

Invited Talk 1
X10: Concurrent Programming for Modern Architectures (Abstract)p. 1
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verificationp. 2
Local Reasoning for Storable Locks and Threadsp. 19
Monadic, Prompt Lazy Assertions in Haskellp. 38
Translation Correctness for First-Order Object-Oriented Pattern Matchingp. 54
Persistent Oberon: A Programming Language with Integrated Persistencep. 71
More Typed Assembly Languages for Confidentialityp. 86
A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semanticsp. 105
On a Tighter Integration of Functional and Logic Programmingp. 122
Invited Talk 2
Scalable Simulation of Cellular Signaling Networksp. 139
Timed, Distributed, Probabilistic, Typed Processesp. 158
A Probabilistic Applied Pi-Calculusp. 175
Type-Based Verification of Correspondence Assertions for Communication Protocolsp. 191
Deriving Compilers and Virtual Machines for a Multi-level Languagep. 206
Finally Tagless, Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languagesp. 222
Polymorphic Delimited Continuationsp. 239
Adjunct Elimination in Context Logic for Treesp. 255
Positive Arithmetic Without Exchange Is a Subclassical Logicp. 271
Mixed Inductive/Coinductive Types and Strong Normalizationp. 286
Invited Talk 3
Static and Dynamic Analysis: Better Together (Abstract)p. 302
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmerp. 303
An Efficient SSA-Based Algorithm for Complete Global Value Numberingp. 319
A Systematic Approach to Probabilistic Pointer Analysisp. 335
Complete Lattices and Up-To Techniquesp. 351
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstractp. 367
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergencep. 383
Call-by-Name and Call-by-Value in Normal Modal Logicp. 399
Call-by-Value Is Dual to Call-by-Name, Extendedp. 415
Author Indexp. 431
Table of Contents provided by Ingram. All Rights Reserved.

ISBN: 9783540766360
ISBN-10: 3540766367
Series: Programming and Software Engineering
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 436
Published: 7th November 2007
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 15.5  x 2.54
Weight (kg): 0.69