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 BibTeX
(Invited Paper)
- Kung-Kiu Lau, Mario Ornaghi:
A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
10-31 BibTeX
- Gerd Neugebauer:
Reachability Analysis for the Extension Procedure - A Topological Result.
32-44 BibTeX
- Francesco Bergadano, Daniele Gunetti:
Inductive Synthesis of Logic Programs and Inductive Logic Programming.
45-56 BibTeX
- Marko Grobelnik:
Induction of Prolog Programs with Markus.
57-63 BibTeX
- 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 BibTeX
- Vincent Lombart, Geraint A. Wiggins, Yves Deville:
Guiding Synthesis Proofs.
67-81 BibTeX
- Maria Vargas-Vera, David Stuart Robertson, Robert Inder:
Combining Prolog Programs in a Techniques Editing System (Abstract).
82-84 BibTeX
- Wamberto Weber Vasconcelos:
Designing Prolog Programming Techniques.
85-99 BibTeX
- Anna-Lena Johansson:
Interactive Program Derivation Using Program Schemata and Incrementally Generated Strategies.
100-112 BibTeX
- D. Andre de Waal:
The Power of Partial Evaluation.
113-123 BibTeX
- Corin A. Gurr:
Specialising the Ground Representation in the Logic Programming Language Gödel.
124-140 BibTeX
- Maurizio Proietti, Alberto Pettorossi:
Synthesis of Programs from Unfold/Fold Proofs.
141-158 BibTeX
- Bern Martens, Danny De Schreye:
Some Further Issues in Finite Unfolding (Abstract).
159-161 BibTeX
- Ulrich Neumerkel:
A Transformation Based in the Equality Between Terms.
162-176 BibTeX
- M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo:
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.
177-195 BibTeX
- Paul Tarau, Koenraad De Bosschere:
Memoing with Abstract Answers and Delphi Lemmas.
196-209 BibTeX
- Dmitri Boulanger, Maurice Bruynooghe:
Using Abstract Interpretation for Goal Replacement.
210-228 BibTeX
- Pierre De Boeck, Baudouin Le Charlier:
Mechanical Transformation of Logic Definitions Augmented with Type Information into Prolog Procedures: Some Experiments.
229-245 BibTeX
Copyright © Sat May 16 23:28:57 2009
by Michael Ley (ley@uni-trier.de)
