Conferences in DBLP

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

1. Ian J. Hayes, R. G. Nickson, Paul A. Strooper
   Refining Specifications to Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:1-19 [Conf]
   
2. Laurent Fribourg, Julian Richardson
   Symbolic Verification with Gap-Order Constraints. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:20-37 [Conf]
   
3. Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
   Specification-Based Automatic Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:38-57 [Conf]
   
4. Michael Leuschel, Danny De Schreye
   Logic Program Specialisation: How to Be More Specific (Abstract). [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:58- [Conf]
   
5. Jesper Jørgensen, Michael Leuschel, Bern Martens
   Conjunctive Partial Deduction in Practice. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:59-82 [Conf]
   
6. Michael Leuschel, Morten Heine Sørensen
   Redundant Argument Filtering of Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:83-103 [Conf]
   
7. Annalisa Bossi, Nicoletta Cocco
   Replacement Can Preserve Termination. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:104-129 [Conf]
   
8. Jacob Brunekreef
   A Transformation Tool for Pure Prolog Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:130-145 [Conf]
   
9. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
   Enhancing Partial Deduction via Unfold/Fold Rules. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1996, pp:146-168 [Conf]
   
10. Germán Puebla, Manuel V. Hermenegildo
    Abstract Specialization and Its Application to Program Parallelization. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:169-186 [Conf]
    
11. Laurent Fribourg, Hans Olsén
    Reductions of Petri Nets and Unfolding of Propositional Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:187-203 [Conf]
    
12. Florence Benoy, Andy King
    Inferring Argument Size Relationships with CLP(R). [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:204-223 [Conf]
    
13. Jonathan C. Martin, Andy King, Paul Soper
    Typed Norms for Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:224-238 [Conf]
    
14. Mihhail Matskin, Henryk Jan Komorowski, John Krogstie
    Partial Deduction in the Framework of Structural Synthesis of Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:239-255 [Conf]
    
15. Timothy S. Gegg-Harrison
    Extensible Logic Program Schemata. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:256-274 [Conf]
    
16. Antonio Brogi, Simone Contiero
    Specialising Meta-level Compositions of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:275-294 [Conf]
    
17. Kung-Kiu Lau, Mario Ornaghi
    Forms of Logic Specifications: A Preliminary Study. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:295-312 [Conf]
    
18. Phan Minh Dung, Robert A. Kowalski, Francesca Toni
    Synthesis of Proof Procedures for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:313-324 [Conf]