Conferences in DBLP

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

1. Massimo Marchiori
   How to Talk to a Human: The Semantic Web and the Clash of the Titans. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:1-14 [Conf]
   
2. Madan Musuvathi, Shaz Qadeer
   CHESS: Systematic Stress Testing of Concurrent Software. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:15-16 [Conf]
   
3. Slim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet
   ARM: Automatic Rule Miner. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:17-25 [Conf]
   
4. Chiaki Sakama, Katsumi Inoue
   Constructing Consensus Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:26-42 [Conf]
   
5. Michael Leuschel, Stephen-John Craig, Daniel Elphick
   Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:43-59 [Conf]
   
6. Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal
   Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:60-76 [Conf]
   
7. José F. Morales, Manuel Carro, Manuel V. Hermenegildo
   Towards Description and Optimization of Abstract Machines in an Extension of Prolog. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:77-93 [Conf]
   
8. Heiko Mantel, Henning Sudbrock, Tina Kraußer
   Combining Different Proof Techniques for Verifying Information Flow Security. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:94-110 [Conf]
   
9. Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty
   On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2006, pp:111-126 [Conf]
   
10. Sven Schewe, Bernd Finkbeiner
    Synthesis of Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:127-142 [Conf]
    
11. Josep Silva
    A Comparative Study of Algorithmic Debugging Strategies. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:143-159 [Conf]
    
12. Bernd Brassel, Sebastian Fischer, Frank Huch
    A Program Transformation for Tracing Functional Logic Computations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:160-176 [Conf]
    
13. Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann
    Automated Termination Analysis for Logic Programs by Term Rewriting. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:177-193 [Conf]
    
14. Étienne Payet
    Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:194-209 [Conf]
    
15. Manh Thang Nguyen, Danny De Schreye
    Polytool: Proving Termination Automatically Based on Polynomial Interpretations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:210-218 [Conf]
    
16. Roberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella
    Grids: A Domain for Analyzing the Distribution of Numerical Values. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:219-235 [Conf]