7. LOPSTR 1997: Leuven, Belgium

@proceedings{DBLP:conf/lopstr/1997,
  editor    = {Norbert E. Fuchs},
  title     = {Logic Programming Synthesis and Transformation, 7th International
               Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings},
  booktitle = {LOPSTR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1463},
  year      = {1998},
  isbn      = {3-540-65074-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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