Programming Languages and Systems 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
Σειρά: | Lecture Notes in Computer Science,
4807 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.