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
Θέματα:
Διαθέσιμο 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.