Conferences in DBLP

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

1. Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
   A Multi-level Approach to Program Synthesis. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:1-27 [Conf]
   
2. Annalisa Bossi, Nicoletta Cocco
   Programs Without Failures. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:28-48 [Conf]
   
3. Halime Büyükyildiz, Pierre Flener
   Generalised Logic Program Transformation Schemas. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:49-68 [Conf]
   
4. Eric Chasseur, Yves Deville
   Logic Program Schemas, Constraints, and Semi-unification. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:69-89 [Conf]
   
5. Henning Christiansen
   Implicit Program Synthesis by a Reversible Metainterpreter. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:90-110 [Conf]
   
6. Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos F. Sagonas
   Termination Analysis for Tabled Logic Programming. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:111-127 [Conf]
   
7. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
   On Correct Program Schemas. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:128-147 [Conf]
   
8. Andrew Heaton, Patricia M. Hill, Andy King
   Analysis of Logic Programs with Delay. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:148-167 [Conf]
   
9. Laura Lafave, John P. Gallagher
   Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1997, pp:168-188 [Conf]
   
10. Michael Leuschel, Bern Martens, Konstantinos F. Sagonas
    Preserving Termination of Tabled Logic Programs While Unfolding. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:189-205 [Conf]
    
11. Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Unfolding the Mystery of Mergesort. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:206-225 [Conf]
    
12. Alberto Momigliano, Mario Ornaghi
    Towards a Logic for Reasoning About Logic Programs Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:226-244 [Conf]
    
13. Lee Naish, Leon Sterling
    A Higher Order Reconstruction of Stepwise Enhancement. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:245-262 [Conf]
    
14. Julian Richardson, Norbert E. Fuchs
    Development of Correct Transformation Schemata for Prolog Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:263-281 [Conf]
    
15. Hüseyin Saglam, John P. Gallagher
    Constrained Regular Approximation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:282-299 [Conf]
    
16. Giovanni Semeraro, Floriana Esposito, Donato Malerba, Nicola Fanizzi, Stefano Ferilli
    A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:300-321 [Conf]
    
17. Wim Vanhoof, Bern Martens
    To Parse or Not To Parse. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:322-342 [Conf]