8. LOPSTR 1998:
Manchester, U.K.
Pierre Flener (Ed.):
Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings.
Lecture Notes in Computer Science 1559 Springer 1990, ISBN 3-540-65765-7 
- Norbert E. Fuchs, Uta Schwertel, Rolf Schwitter:
Attempto Controlled English - Not Just Another Logic Specification Language.
1-20
- 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
- David Stuart Robertson, Jaume Agustí-Cullell:
Pragmatics in the Synthesis of Logic Programs.
41-60
- Jeffrey Van Baalen, Steve Roach:
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.
61-70
- Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli:
Synthesis of Programs in Abstract Data Types.
81-100
- Kung-Kiu Lau, Mario Ornaghi:
OOD Frameworks in Component-Based Software - Development in Computational Logic.
101-123
- Antonio Brogi, Simone Contiero, Franco Turini:
The Use of Renaming in Composing General Programs.
124-142
- Andreas Hamfelt, Jørgen Fischer Nilsson:
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.
143-158
- Annalisa Bossi, Sabina Rossi:
Specialising Logic Programs with Respect to Call?Post Specifications.
159-178
- Robert Glück, John Hatcliff, Jesper Jørgensen:
Generalization in Hierarchies of Online Program Specialization Systems.
179-198
- Michael Leuschel:
Improving Homeomorphic Embedding for Online Termination.
199-218
- Annalisa Bossi, Nicoletta Cocco:
Success in Logic Programs.
219-239
- Sébastien Hoarau, Frédéric Mesnard:
Inferring and Compiling Termination for Constraint Logic Programs.
240-254
- Tihomir Gabric, Kevin Glynn, Harald Søndergaard:
Strictness Analysis as Finite-Domain Constraint Solving.
255-270
- Jamie Stark, Andrew Ireland:
Invariant Discovery via Failed Proof Attempts.
271-288
- Jan-Georg Smaus, Patricia M. Hill, Andy King:
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations.
289-307
- Pierre Wolper:
Algorithms for Synthesizing Reactive Systems: A Perspective (Abstract).
308
- Hamza Zidoum, Pierre Flener, Brahim Hnich:
Schema-Guided Synthesis of CLP Programs.
309-312
- Julian Richardson:
Abstract: Proof Planning with Program Schemas.
313-315
- Patrick Bellot, Bernard Robinet:
Logical Synthesis of Imperative O. O. Programs.
316-318
- Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili:
Mathematical Foundations for Program Transformations.
319-321
- David A. Rosenblueth:
An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs.
322-324
- Wim Vanhoof, Danny De Schreye, Bern Martens:
Bottom-Up Specialisation of Logic Programs.
325-327
- Sarah Mallet, Mireille Ducassé:
Myrtle: A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging.
328-330
Last update Thu May 23 02:40:41 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
