+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)

Paperback Published: 7th November 2007
ISBN: 9783540766360
Number Of Pages: 430

Share This Book:


or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 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: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 430
Published: 7th November 2007
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.42 x 15.47  x 2.54
Weight (kg): 0.66