Conferences in DBLP

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

1. David A. Basin
   Logic Frameworks for Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:1-16 [Conf]
   
2. N. Bensaou, Irène Guessarian
   An Extended Transformation System for CLP Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:17-35 [Conf]
   
3. Dmitri Boulanger, Maurice Bruynooghe
   Using Call/Exit Analysis for Logic Program Transformation. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:36-50 [Conf]
   
4. J. Cook, John P. Gallagher
   A Transformation System for Definite Programs Based on Termination Analysis. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:51-68 [Conf]
   
5. Pierre Flener, Lubos Popelínsky
   On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:69-87 [Conf]
   
6. David Gilbert, Christopher J. Hogger, Jirí Zlatuska
   Transforming Specifications of Observable Behaviour into Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:88-103 [Conf]
   
7. Kung-Kiu Lau, Mario Ornaghi
   On Specification Frameworks and Deductive Synthesis of Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:104-121 [Conf]
   
8. Michael Leuschel
   Partial Evaluation of the "Real Thing". [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:122-137 [Conf]
   
9. Emmanuil I. Marakakis, John P. Gallagher
   Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 1994, pp:138-153 [Conf]
   
10. Sophie Renault
    Generalizing Extended Execution for Normal Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:154-169 [Conf]
    
11. Chiaki Sakama, Hirohisa Seki
    Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:170-182 [Conf]
    
12. Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani
    Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:183-198 [Conf]
    
13. Christine Solnon, Michel Rueher
    Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:199-214 [Conf]
    
14. Paul Tarau, Verónica Dahl
    Logic Programming and Logic Grammars with First-Order Continuations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:215-230 [Conf]
    
15. Geraint A. Wiggins
    Improving the Whelk System: A Type-Theoretic Reconstruction. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:231-247 [Conf]
    
16. Frank van Harmelen
    A Model of Costs and Benefits of Meta-Level Computation. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:248-261 [Conf]
    
17. Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua
    A Basis for a Multi-Level Meta-Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:262-275 [Conf]
    
18. Marion Mircheva
    Logic Programs with Tests. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:276-292 [Conf]
    
19. Barbara Dunin-Keplicz
    An Architecture with Multiple Meta-Levels for the Development of Correct Programs. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:293-310 [Conf]
    
20. Annalisa Bossi, Sandro Etalle
    More on Unfold/Fold Transformations of Normal Programs: Preservation of Fitting's Semantics. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:311-331 [Conf]
    
21. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Formal Semantics of Temporal Epistemic Reflection. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:332-352 [Conf]
    
22. Jan Treur
    Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:353-376 [Conf]
    
23. Antonio Brogi, Simone Contiero
    Gödel as a Meta-Language for Composing Logic Programs. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:377-394 [Conf]
    
24. Patricia M. Hill
    A Module System for Meta-Programming. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:395-409 [Conf]
    
25. Giuseppe Attardi, Maria Simi
    Building Proofs in Context. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:410-424 [Conf]
    
26. Fausto Giunchiglia, Alessandro Cimatti
    Introspective Metatheoretic Reasoning. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:425-439 [Conf]
    
27. Marco Comini, Giorgio Levi, Giuliana Vitiello
    Abstract Debugging of Logic Program. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:440-450 [Conf]