Programming Languages and Systems  5th Asian Symposium, APLAS 2007, Singapore, November 28-December 1, 2007, Proceedings /  [electronic resource] : 
edited by Zhong Shao. 
 - 1st ed. 2007. 
 - XI, 436 p.  online resource. 
 - Programming and Software Engineering,  4807  2945-9168 ; .
 - Programming and Software Engineering,  4807 .
<br/><br/>Invited Talk 1 -- X10: Concurrent Programming for Modern Architectures -- The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads -- Monadic, Prompt Lazy Assertions in Haskell -- Translation Correctness for First-Order Object-Oriented Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed Assembly Languages for Confidentiality -- A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk 2 -- Scalable Simulation of Cellular Signaling Networks -- Timed, Distributed, Probabilistic, Typed Processes -- A Probabilistic Applied Pi-Calculus -- Type-Based Verification of Correspondence Assertions for Communication Protocols -- Deriving Compilers and Virtual Machines for a Multi-level Language -- Finally Tagless, Partially Evaluated -- Polymorphic Delimited Continuations -- Adjunct Elimination in Context Logic for Trees -- Positive Arithmetic Without Exchange Is a Subclassical Logic -- Mixed Inductive/Coinductive Types and Strong Normalization -- Invited Talk 3 -- Static and Dynamic Analysis: Better Together -- The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer -- An Efficient SSA-Based Algorithm for Complete Global Value Numbering -- A Systematic Approach to Probabilistic Pointer Analysis -- Complete Lattices and Up-To Techniques -- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract -- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence -- Call-by-Name and Call-by-Value in Normal Modal Logic -- Call-by-Value Is Dual to Call-by-Name, Extended. 
<br/><br/><label>ISBN: </label>9783540766377 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-76637-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs).<br/>Software engineering.<br/>Computer science.<br/>Operating systems (Computers).<br/>Computer programming.<br/>Machine theory.<br/>Compilers and Interpreters.<br/>Software Engineering.<br/>Computer Science Logic and Foundations of Programming.<br/>Operating Systems.<br/>Programming Techniques.<br/>Formal Languages and Automata Theory.
<br/><br/><label>LC Class. No.: </label>QA76.76.C65 
<br/><br/><label>Dewey Class. No.: </label>005.45