Conferences in DBLP

International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (lopstr)
2009 (conf/lopstr/2009)

1. 
   Towards Scalable Partial Evaluation of Declarative Programs. [Citation Graph (, )][DBLP]
   
   
2. 
   Deciding Full Branching Time Logic by Program Transformation. [Citation Graph (, )][DBLP]
   
   
3. 
   A Transformational Approach for Proving Properties of the CHR Constraint Store. [Citation Graph (, )][DBLP]
   
   
4. 
   The Dependency Triple Framework for Termination of Logic Programs. [Citation Graph (, )][DBLP]
   
   
5. 
   Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing. [Citation Graph (, )][DBLP]
   
   
6. 
   LP with Flexible Grouping and Aggregates Using Modes. [Citation Graph (, )][DBLP]
   
   
7. 
   On Inductive and Coinductive Proofs via Unfold/Fold Transformations. [Citation Graph (, )][DBLP]
   
   
8. 
   Coinductive Logic Programming with Negation. [Citation Graph (, )][DBLP]
   
   
9. 
   Refining Exceptions in Four-Valued Logic. [Citation Graph (, )][DBLP]
   
   
10. 
    Towards a Framework for Constraint-Based Test Case Generation. [Citation Graph (, )][DBLP]
    
    
11. 
    Using Rewrite Strategies for Testing BUpL Agents. [Citation Graph (, )][DBLP]
    
    
12. 
    Towards Just-In-Time Partial Evaluation of Prolog. [Citation Graph (, )][DBLP]
    
    
13. 
    Program Parallelization Using Synchronized Pipelining. [Citation Graph (, )][DBLP]
    
    
14. 
    Defining Datalog in Rewriting Logic. [Citation Graph (, )][DBLP]