8. LOPSTR 1998: Manchester, U.K.

@proceedings{DBLP:conf/lopstr/1998,
  editor    = {Pierre Flener},
  title     = {Logic Programming Synthesis and Transformation, 8th International
               Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings},
  booktitle = {LOPSTR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1559},
  year      = {1990},
  isbn      = {3-540-65765-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter:
  Attempto Controlled English - Not Just Another Logic Specification Language. 1-20
  Electronic Edition (Springer LINK) BibTeX
• Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet:
  A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. 21-40
  Electronic Edition (Springer LINK) BibTeX
• David Stuart Robertson, Jaume Agustí-Cullell:
  Pragmatics in the Synthesis of Logic Programs. 41-60
  Electronic Edition (Springer LINK) BibTeX
• Jeffrey Van Baalen, Steve Roach:
  Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. 61-70
  Electronic Edition (Springer LINK) BibTeX
• Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli:
  Synthesis of Programs in Abstract Data Types. 81-100
  Electronic Edition (Springer LINK) BibTeX
• Kung-Kiu Lau, Mario Ornaghi:
  OOD Frameworks in Component-Based Software - Development in Computational Logic. 101-123
  Electronic Edition (Springer LINK) BibTeX
• Antonio Brogi, Simone Contiero, Franco Turini:
  The Use of Renaming in Composing General Programs. 124-142
  Electronic Edition (Springer LINK) BibTeX
• Andreas Hamfelt, Jørgen Fischer Nilsson:
  Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. 143-158
  Electronic Edition (Springer LINK) BibTeX
• Annalisa Bossi, Sabina Rossi:
  Specialising Logic Programs with Respect to Call?Post Specifications. 159-178
  Electronic Edition (Springer LINK) BibTeX
• Robert Glück, John Hatcliff, Jesper Jørgensen:
  Generalization in Hierarchies of Online Program Specialization Systems. 179-198
  Electronic Edition (Springer LINK) BibTeX
• Michael Leuschel:
  Improving Homeomorphic Embedding for Online Termination. 199-218
  Electronic Edition (Springer LINK) BibTeX
• Annalisa Bossi, Nicoletta Cocco:
  Success in Logic Programs. 219-239
  Electronic Edition (Springer LINK) BibTeX
• Sébastien Hoarau, Frédéric Mesnard:
  Inferring and Compiling Termination for Constraint Logic Programs. 240-254
  Electronic Edition (Springer LINK) BibTeX
• Tihomir Gabric, Kevin Glynn, Harald Søndergaard:
  Strictness Analysis as Finite-Domain Constraint Solving. 255-270
  Electronic Edition (Springer LINK) BibTeX
• Jamie Stark, Andrew Ireland:
  Invariant Discovery via Failed Proof Attempts. 271-288
  Electronic Edition (Springer LINK) BibTeX
• Jan-Georg Smaus, Patricia M. Hill, Andy King:
  Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. 289-307
  Electronic Edition (Springer LINK) BibTeX
• Pierre Wolper:
  Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). 308
  Electronic Edition (Springer LINK) BibTeX
• Hamza Zidoum, Pierre Flener, Brahim Hnich:
  Schema-Guided Synthesis of CLP Programs. 309-312
  Electronic Edition (Springer LINK) BibTeX
• Julian Richardson:
  Abstract: Proof Planning with Program Schemas. 313-315
  Electronic Edition (Springer LINK) BibTeX
• Patrick Bellot, Bernard Robinet:
  Logical Synthesis of Imperative O. O. Programs. 316-318
  Electronic Edition (Springer LINK) BibTeX
• Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
  Mathematical Foundations for Program Transformations. 319-321
  Electronic Edition (Springer LINK) BibTeX
• David A. Rosenblueth:
  An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. 322-324
  Electronic Edition (Springer LINK) BibTeX
• Wim Vanhoof, Danny De Schreye, Bern Martens:
  Bottom-Up Specialisation of Logic Programs. 325-327
  Electronic Edition (Springer LINK) BibTeX
• Sarah Mallet, Mireille Ducassé:
  Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. 328-330
  Electronic Edition (Springer LINK) BibTeX