Conferences in DBLP

Mathematics of Program Construction (MPC) (mpc)
2010 (conf/mpc/2010)

1. 
   The Algorithmics of Solitaire-Like Games. [Citation Graph (, )][DBLP]
   
   
2. 
   Compositionality of Secure Information Flow. [Citation Graph (, )][DBLP]
   
   
3. 
   Process Algebras for Collective Dynamics. [Citation Graph (, )][DBLP]
   
   
4. 
   On Automated Program Construction and Verification. [Citation Graph (, )][DBLP]
   
   
5. 
   The Logic of Large Enough. [Citation Graph (, )][DBLP]
   
   
6. 
   Dependently Typed Grammars. [Citation Graph (, )][DBLP]
   
   
7. 
   Abstraction of Object Graphs in Program Verification. [Citation Graph (, )][DBLP]
   
   
8. 
   Subtyping, Declaratively. [Citation Graph (, )][DBLP]
   
   
9. 
   Compositional Action System Derivation Using Enforced Properties. [Citation Graph (, )][DBLP]
   
   
10. 
    Designing an Algorithmic Proof of the Two-Squares Theorem. [Citation Graph (, )][DBLP]
    
    
11. 
    Partial, Total and General Correctness. [Citation Graph (, )][DBLP]
    
    
12. 
    Unifying Theories of Programming That Distinguish Nontermination and Abort. [Citation Graph (, )][DBLP]
    
    
13. 
    Adjoint Folds and Unfolds. [Citation Graph (, )][DBLP]
    
    
14. 
    An Abstract Machine for the Old Value Retrieval. [Citation Graph (, )][DBLP]
    
    
15. 
    A Tracking Semantics for CSP. [Citation Graph (, )][DBLP]
    
    
16. 
    Matrices as Arrows! [Citation Graph (, )][DBLP]
    
    
17. 
    Lucy-n: a n-Synchronous Extension of Lustre. [Citation Graph (, )][DBLP]
    
    
18. 
    Sampling, Splitting and Merging in Coinductive Stream Calculus. [Citation Graph (, )][DBLP]
    
    
19. 
    Generic Point-free Lenses. [Citation Graph (, )][DBLP]
    
    
20. 
    Formal Derivation of Concurrent Garbage Collectors. [Citation Graph (, )][DBLP]
    
    
21. 
    Temporal Logic Verification of Lock-Freedom. [Citation Graph (, )][DBLP]
    
    
22. 
    Gradual Refinement. [Citation Graph (, )][DBLP]