| 1998 | A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury. Dante Baldan, Baudouin Le Charlier, Christophe Leclère, Isabelle Pollet |
| 1998 | Abstract: Proof Planning with Program Schemas. Julian Richardson |
| 1998 | Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract). Pierre Wolper |
| 1998 | An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs. David A. Rosenblueth |
| 1998 | Attempto Controlled English - Not Just Another Logic Specification Language. Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter |
| 1998 | Bottom-Up Specialisation of Logic Programs. Wim Vanhoof, Danny De Schreye, Bern Martens |
| 1998 | Generalization in Hierarchies of Online Program Specialization Systems. Robert Glück, John Hatcliff, Jesper Jørgensen |
| 1998 | Improving Homeomorphic Embedding for Online Termination. Michael Leuschel |
| 1998 | Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes. Andreas Hamfelt, Jørgen Fischer Nilsson |
| 1998 | Inferring and Compiling Termination for Constraint Logic Programs. Sébastien Hoarau, Frédéric Mesnard |
| 1998 | Invariant Discovery via Failed Proof Attempts. Jamie Stark, Andrew Ireland |
| 1998 | Logical Synthesis of Imperative O. O. Programs. Patrick Bellot, Bernard J. Robinet |
| 1998 | Mathematical Foundations for Program Transformations. Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili |
| 1998 | Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging. Sarah Mallet, Mireille Ducassé |
| 1998 | OOD Frameworks in Component-Based Software - Development in Computational Logic. Kung-Kiu Lau, Mario Ornaghi |
| 1998 | Pragmatics in the Synthesis of Logic Programs. David Stuart Robertson, Jaume Agustí-Cullell |
| 1998 | Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations. Jan-Georg Smaus, Patricia M. Hill, Andy King |
| 1998 | Schema-Guided Synthesis of CLP Programs. Hamza Zidoum, Pierre Flener, Brahim Hnich |
| 1998 | Specialising Logic Programs with Respect to Call?Post Specifications. Annalisa Bossi, Sabina Rossi |
| 1998 | Strictness Analysis as Finite-Domain Constraint Solving. Tihomir Gabric, Kevin Glynn, Harald Søndergaard |
| 1998 | Success in Logic Programs. Annalisa Bossi, Nicoletta Cocco |
| 1998 | Synthesis of Programs in Abstract Data Types. Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli |
| 1998 | The Use of Renaming in Composing General Programs. Antonio Brogi, Simone Contiero, Franco Turini |
| 1998 | Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems. Jeffrey Van Baalen, Steve Roach |
| 1990 | Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings Pierre Flener |