UMCS-98-6-1
LOPSTR ' 98
Extended Abstracts of the 8th International Workshop on Logic-based Program Synthesis and Transformation, June 1998, University of Manchester.

Accepted papers

• M. Cadoli, L. Palopoli, A. Schaerf, D. Vasile, NP-SPEC: An Executable Specification Language for Solving all Problems in NP
  
• N. Fuchs, U. Schwertel, R. Schwitter Attempto Controlled English: Not Just Another Logic Specification Language
  
• A. Bossi, S. Rossi Specialising Logic Programs wrt Pre/Post Specifications
  
• P. Bellot Synthesizing Imperative Object-Oriented Programs Using a Logic of Actions
  
• A. Avellone, M. Ferrari, P. Miglioli Synthesis of Programs in Abstract Data Types
  
• J. Van Baalen, S. Roach Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems
  
• D. Rosenblueth An Exhaustive-Search Method using Layered Streams Obtained through a Meta-Interpreter for Chain Programs
  
• R. Ben Ayed, J. Desharnais, M. Frappier, A. Mili A Calculus of Program Transformations and Its Applications
  
• J.-G. Smaus, P. Hill, A. King Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using Block Declarations
  
• J. Stark, A. Ireland Invariant Discovery via Failed Proof Attempts
  
• P. Merino, J.-M. Troya Verifying Protocols with Executable Linear Logic
  
• R. Gluck, J. Hatcliff, J. Jorgensen Generalization in Hierarchies of Online Program Specialization Systems
  
• W. Vanhoof, D. De Schreye, B. Martens Bottom Up Specialisation: Towards General Foundations
  
• D. Baldan, B. Le Charlier, C. Leclere, I. Pollet A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury
  
• H. Zidoum, P. Flener, B. Hnich Schema-Guided Synthesis of Constraint Logic Programs
  
• J. Richardson Proof Planning with Schema Frameworks
  
• A. Bossi, N. Cocco Successes in Logic Program
  
• S. Hoarau, F. Mesnard Inferring and Compiling Termination for Constraint Logic Programs
  
• T. Gabric, H. Sondergaard Strictness Analysis as Finite-Domain Constraint Solving
  
• K.-K. Lau, M. Ornaghi OOD Frameworks in Component-based Software Development in Computational Logic
  
• A. Hamfelt, J. Fischer Nilsson Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
  
• A. Brogi, S. Contiero, F. Turini The Use of Renaming in Composing General Programs
  
• D. Robertson, J. Agusti Pragmatics in the Synthesis of Logic Programs
  
• A. Tellez-Arenas Set Constraints: Validation for Set-based Specification
  
• S. Mallet, M. Ducasse A Set-Oriented Meta-Interpreter Driven by a ``Relational'' Trace for Deductive Databases Debugging