Conferences in DBLP

Asian Symposium on Programming Languages and Systems (aplas)
2007 (conf/aplas/2007)

1. 
   X10: Concurrent Programming for Modern Architectures. [Citation Graph (, )][DBLP]
   
   
2. 
   The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. [Citation Graph (, )][DBLP]
   
   
3. 
   Local Reasoning for Storable Locks and Threads. [Citation Graph (, )][DBLP]
   
   
4. 
   Monadic, Prompt Lazy Assertions in Haskell. [Citation Graph (, )][DBLP]
   
   
5. 
   Translation Correctness for First-Order Object-Oriented Pattern Matching. [Citation Graph (, )][DBLP]
   
   
6. 
   Persistent Oberon: A Programming Language with Integrated Persistence. [Citation Graph (, )][DBLP]
   
   
7. 
   More Typed Assembly Languages for Confidentiality. [Citation Graph (, )][DBLP]
   
   
8. 
   A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. [Citation Graph (, )][DBLP]
   
   
9. 
   On a Tighter Integration of Functional and Logic Programming. [Citation Graph (, )][DBLP]
   
   
10. 
    Scalable Simulation of Cellular Signaling Networks. [Citation Graph (, )][DBLP]
    
    
11. 
    Timed, Distributed, Probabilistic, Typed Processes. [Citation Graph (, )][DBLP]
    
    
12. 
    A Probabilistic Applied Pi-Calculus. [Citation Graph (, )][DBLP]
    
    
13. 
    Type-Based Verification of Correspondence Assertions for Communication Protocols. [Citation Graph (, )][DBLP]
    
    
14. 
    Deriving Compilers and Virtual Machines for a Multi-level Language. [Citation Graph (, )][DBLP]
    
    
15. 
    Finally Tagless, Partially Evaluated. [Citation Graph (, )][DBLP]
    
    
16. 
    Polymorphic Delimited Continuations. [Citation Graph (, )][DBLP]
    
    
17. 
    Adjunct Elimination in Context Logic for Trees. [Citation Graph (, )][DBLP]
    
    
18. 
    Positive Arithmetic Without Exchange Is a Subclassical Logic. [Citation Graph (, )][DBLP]
    
    
19. 
    Mixed Inductive/Coinductive Types and Strong Normalization. [Citation Graph (, )][DBLP]
    
    
20. 
    Static and Dynamic Analysis: Better Together. [Citation Graph (, )][DBLP]
    
    
21. 
    The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. [Citation Graph (, )][DBLP]
    
    
22. 
    An Efficient SSA-Based Algorithm for Complete Global Value Numbering. [Citation Graph (, )][DBLP]
    
    
23. 
    A Systematic Approach to Probabilistic Pointer Analysis. [Citation Graph (, )][DBLP]
    
    
24. 
    Complete Lattices and Up-To Techniques. [Citation Graph (, )][DBLP]
    
    
25. 
    A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. [Citation Graph (, )][DBLP]
    
    
26. 
    CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. [Citation Graph (, )][DBLP]
    
    
27. 
    Call-by-Name and Call-by-Value in Normal Modal Logic. [Citation Graph (, )][DBLP]
    
    
28. 
    Call-by-Value Is Dual to Call-by-Name, Extended. [Citation Graph (, )][DBLP]