Conferences in DBLP

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

1. Kung-Kiu Lau, Mario Ornaghi
   Specifying Compositional Units for Correct Program Development in Computational Logic. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:1-29 [Conf]
   
2. David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson
   Synthesis of Programs in Computational Logic. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:30-65 [Conf]
   
3. Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper
   Developing Logic Programs from Specifications Using Stepwise Refinement. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:66-89 [Conf]
   
4. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi
   Declarative Semantics of Input Consuming Logic Programs. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:90-114 [Conf]
   
5. Antonio Brogi
   On the Semantics of Logic Program Composition. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:115-151 [Conf]
   
6. Jacob M. Howe, Andy King, Lunjin Lu
   Analysing Logic Programs by Reasoning Backwards. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:152-188 [Conf]
   
7. Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel
   Binding-Time Analysis for Mercury. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:189-232 [Conf]
   
8. Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
   A Generic Framework for Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:233-260 [Conf]
   
9. Abhik Roychoudhury, C. R. Ramakrishnan
   Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Program Development in Computational Logic, 2004, pp:261-290 [Conf]
   
10. Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
    Transformation Rules for Locally Stratified Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:291-339 [Conf]
    
11. Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof
    Specialising Interpreters Using Offline Partial Deduction. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:340-375 [Conf]
    
12. Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus
    Characterisations of Termination in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:376-431 [Conf]
    
13. Jonathan C. Martin, Andy King
    On the Inference of Natural Level Mappings. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:432-452 [Conf]
    
14. Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:453-498 [Conf]
    
15. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey
    Herbrand Constraints in HAL. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:499-538 [Conf]