Conferences in DBLP

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

1. 
   Proving Termination with (Boolean) Satisfaction. [Citation Graph (, )][DBLP]
   
   
2. 
   Termination Analysis of Logic Programs Based on Dependency Graphs. [Citation Graph (, )][DBLP]
   
   
3. 
   Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. [Citation Graph (, )][DBLP]
   
   
4. 
   Towards a Normal Form for Mercury Programs. [Citation Graph (, )][DBLP]
   
   
5. 
   Aggregates for CHR through Program Transformation. [Citation Graph (, )][DBLP]
   
   
6. 
   Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. [Citation Graph (, )][DBLP]
   
   
7. 
   Denotation by Transformation. [Citation Graph (, )][DBLP]
   
   
8. 
   Generation of Rule-Based Constraint Solvers: Combined Approach. [Citation Graph (, )][DBLP]
   
   
9. 
   A Scalable Inclusion Constraint Solver Using Unification. [Citation Graph (, )][DBLP]
   
   
10. 
    Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. [Citation Graph (, )][DBLP]
    
    
11. 
    A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. [Citation Graph (, )][DBLP]
    
    
12. 
    Snapshot Generation in a Constructive Object-Oriented Modeling Language. [Citation Graph (, )][DBLP]
    
    
13. 
    Synthesis of Data Views for Communicating Processes. [Citation Graph (, )][DBLP]
    
    
14. 
    Action Refinement in Process Algebra and Security Issues. [Citation Graph (, )][DBLP]