3. LOPSTR 1993:
Louvain-la-Neuve,
Belgium
Yves Deville (Ed.):
Logic Program Synthesis and Transformation,
Proceedings of LOPSTR 93,
International Workshop on Logic Program Synthesis and Transformation,
Louvain-la-Neuve,
Belgium,
7-9 July 1993. Workshops in Computing,
Springer 1994,
ISBN 3-540-19864-4 and 0-387-19864-4
- Douglas R. Smith:
Towards the Synthesis of Constraint Propagation Algorithms.
1-9
(Invited Paper)
- Kung-Kiu Lau, Mario Ornaghi:
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
10-31
- Gerd Neugebauer:
Reachability Analysis for the Extension Procedure - A Topological Result.
32-44
- Francesco Bergadano, Daniele Gunetti:
Inductive Synthesis of Logic Programs and Inductive Logic Programming.
45-56
- Marko Grobelnik:
Induction of Prolog Programs with Markus.
57-63
- Peter Madden, Jane Hesketh, Ian Green, Alan Bundy:
A General Technique for Automatically Generating Efficient Programs Through the Use of Proof Planning (Abstract).
64-66
- Vincent Lombart, Geraint A. Wiggins, Yves Deville:
Guiding Synthesis Proofs.
67-81
- Maria Vargas-Vera, David Stuart Robertson, Robert Inder:
Combining Prolog Programs in a Techniques Editing System (Abstract).
82-84
- Wamberto Weber Vasconcelos:
Designing Prolog Programming Techniques.
85-99
- Anna-Lena Johansson:
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies.
100-112
- D. Andre de Waal:
The Power of Partial Evaluation.
113-123
- Corin A. Gurr:
Specialising the Ground Representation in the Logic Programming Language Gödel.
124-140
- Maurizio Proietti, Alberto Pettorossi:
Synthesis of Programs from Unfold/Fold Proofs.
141-158
- Bern Martens, Danny De Schreye:
Some Further Issues in Finite Unfolding (Abstract).
159-161
- Ulrich Neumerkel:
A Transformation Based in the Equality Between Terms.
162-176
- M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo:
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.
177-195
- Paul Tarau, Koenraad De Bosschere:
Memoing with Abstract Answers and Delphi Lemmas.
196-209
- Dmitri Boulanger, Maurice Bruynooghe:
Using Abstract Interpretation for Goal Replacement.
210-228
- Pierre De Boeck, Baudouin Le Charlier:
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.
229-245
Copyright © Tue Mar 16 02:17:19 2010
by Michael Ley (ley@uni-trier.de)
