Conferences in DBLP

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

1. 
   Space Invading Systems Code. [Citation Graph (, )][DBLP]
   
   
2. 
   Test Data Generation of Bytecode by CLP Partial Evaluation. [Citation Graph (, )][DBLP]
   
   
3. 
   A Modular Equational Generalization Algorithm. [Citation Graph (, )][DBLP]
   
   
4. 
   A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. [Citation Graph (, )][DBLP]
   
   
5. 
   Analysis of Linear Hybrid Systems in CLP. [Citation Graph (, )][DBLP]
   
   
6. 
   Automatic Generation of Test Inputs for Mercury. [Citation Graph (, )][DBLP]
   
   
7. 
   Analytical Inductive Functional Programming. [Citation Graph (, )][DBLP]
   
   
8. 
   The MEB and CEB Static Analysis for CSP Specifications. [Citation Graph (, )][DBLP]
   
   
9. 
   Fast Offline Partial Evaluation of Large Logic Programs. [Citation Graph (, )][DBLP]
   
   
10. 
    An Inference Algorithm for Guaranteeing Safe Destruction. [Citation Graph (, )][DBLP]
    
    
11. 
    From Monomorphic to Polymorphic Well-Typings and Beyond. [Citation Graph (, )][DBLP]
    
    
12. 
    On Negative Unfolding in the Answer Set Semantics. [Citation Graph (, )][DBLP]