Conferences in DBLP

European Symposium on Programming (ESOP) (esop)
2010 (conf/esop/2010)

1. 
   The Audacity of Hope: Thoughts on Reclaiming the Database Dream. [Citation Graph (, )][DBLP]
   
   
2. 
   Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. [Citation Graph (, )][DBLP]
   
   
3. 
   Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. [Citation Graph (, )][DBLP]
   
   
4. 
   Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. [Citation Graph (, )][DBLP]
   
   
5. 
   A Semantic Framework for Declassification and Endorsement. [Citation Graph (, )][DBLP]
   
   
6. 
   Amortised Resource Analysis with Separation Logic. [Citation Graph (, )][DBLP]
   
   
7. 
   A PolyTime Functional Language from Light Linear Logic. [Citation Graph (, )][DBLP]
   
   
8. 
   Testing Polymorphic Properties. [Citation Graph (, )][DBLP]
   
   
9. 
   Formal Verification of Coalescing Graph-Coloring Register Allocation. [Citation Graph (, )][DBLP]
   
   
10. 
    A Theory of Speculative Computation. [Citation Graph (, )][DBLP]
    
    
11. 
    Propositional Interpolation and Abstract Interpretation. [Citation Graph (, )][DBLP]
    
    
12. 
    Functional Programming in Sublinear Space. [Citation Graph (, )][DBLP]
    
    
13. 
    Logical Concurrency Control from Sequential Proofs. [Citation Graph (, )][DBLP]
    
    
14. 
    Fluid Updates: Beyond Strong vs. Weak Updates. [Citation Graph (, )][DBLP]
    
    
15. 
    Parameterized Memory Models and Concurrent Separation Logic. [Citation Graph (, )][DBLP]
    
    
16. 
    Amortized Resource Analysis with Polynomial Potential. [Citation Graph (, )][DBLP]
    
    
17. 
    Generative Operational Semantics for Relaxed Memory Models. [Citation Graph (, )][DBLP]
    
    
18. 
    Automating Security Mediation Placement. [Citation Graph (, )][DBLP]
    
    
19. 
    TRX: A Formally Verified Parser Interpreter. [Citation Graph (, )][DBLP]
    
    
20. 
    On the Expressive Power of Primitives for Compensation Handling. [Citation Graph (, )][DBLP]
    
    
21. 
    Separating Shape Graphs. [Citation Graph (, )][DBLP]
    
    
22. 
    Deadlock-Free Channels and Locks. [Citation Graph (, )][DBLP]
    
    
23. 
    Verifying a Compiler for Java Threads. [Citation Graph (, )][DBLP]
    
    
24. 
    A Grammar-Based Approach to Invertible Programs. [Citation Graph (, )][DBLP]
    
    
25. 
    Faulty Logic: Reasoning about Fault Tolerant Programs. [Citation Graph (, )][DBLP]
    
    
26. 
    A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. [Citation Graph (, )][DBLP]
    
    
27. 
    A Universal Calculus for Stream Processing Languages. [Citation Graph (, )][DBLP]
    
    
28. 
    Enforcing Stateful Authorization and Information Flow Policies in Fine. [Citation Graph (, )][DBLP]
    
    
29. 
    Stateful Contracts for Affine Types. [Citation Graph (, )][DBLP]
    
    
30. 
    CFA2: A Context-Free Approach to Control-Flow Analysis. [Citation Graph (, )][DBLP]
    
    
31. 
    Weighted Dynamic Pushdown Networks. [Citation Graph (, )][DBLP]
    
    
32. 
    Explicit Stabilisation for Modular Rely-Guarantee Reasoning. [Citation Graph (, )][DBLP]