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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Shao, Zhong (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4807
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Mathematical logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Operating Systems.; Programming Techniques.; Mathematical Logic and Formal Languages.

Πίνακας περιεχομένων:

• 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.