Conferences in DBLP

Principles and Practice of Declarative Programming (PPDP) (ppdp)
2008 (conf/ppdp/2008)

1. 
   Declarative programming for verification: lessons and outlook. [Citation Graph (, )][DBLP]
   
   
2. 
   The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. [Citation Graph (, )][DBLP]
   
   
3. 
   Parallel execution of multi-set constraint rewrite rules. [Citation Graph (, )][DBLP]
   
   
4. 
   Comparing tag scheme variations using an abstract machine generator. [Citation Graph (, )][DBLP]
   
   
5. 
   'Galculator': functional prototype of a Galois-connection based proof assistant. [Citation Graph (, )][DBLP]
   
   
6. 
   Declarative Ajax and client side evaluation of workflows using iTasks. [Citation Graph (, )][DBLP]
   
   
7. 
   Call pattern analysis for functional logic programs. [Citation Graph (, )][DBLP]
   
   
8. 
   Characterizations of polynomial complexity classes with a better intensionality. [Citation Graph (, )][DBLP]
   
   
9. 
   Fixed point semantics and partial recursion in Coq. [Citation Graph (, )][DBLP]
   
   
10. 
    Semantically linear programming languages. [Citation Graph (, )][DBLP]
    
    
11. 
    Order-sorted dependency pairs. [Citation Graph (, )][DBLP]
    
    
12. 
    Macros for context-free grammars. [Citation Graph (, )][DBLP]
    
    
13. 
    Pattern by example: type-driven visual programming of XML queries. [Citation Graph (, )][DBLP]
    
    
14. 
    Inferring precise polymorphic type dependencies in logic programs. [Citation Graph (, )][DBLP]
    
    
15. 
    A type system for safe memory management and its proof of correctness. [Citation Graph (, )][DBLP]
    
    
16. 
    Programming with proofs and explicit contexts. [Citation Graph (, )][DBLP]
    
    
17. 
    Towards execution time estimation in abstract machine-based languages. [Citation Graph (, )][DBLP]
    
    
18. 
    Similarity-based reasoning in qualified logic programming. [Citation Graph (, )][DBLP]
    
    
19. 
    Classifying integrity checking methods with regard to inconsistency tolerance. [Citation Graph (, )][DBLP]
    
    
20. 
    Comprehending finite maps for algorithmic debugging of higher-order functional programs. [Citation Graph (, )][DBLP]
    
    
21. 
    A rewriting framework for the composition of access control policies. [Citation Graph (, )][DBLP]
    
    
22. 
    Global difference constraint propagation for finite domain solvers. [Citation Graph (, )][DBLP]
    
    
23. 
    Model-driven constraint programming. [Citation Graph (, )][DBLP]
    
    
24. 
    Dynamic variable elimination during propagation solving. [Citation Graph (, )][DBLP]
    
    
25. 
    Cooperation of constraint domains in the TOY system. [Citation Graph (, )][DBLP]