2. LOPSTR 1992:
Manchester,
UK
Kung-Kiu Lau,
Tim P. Clement (Eds.):
Logic Program Synthesis and Transformation,
Proceedings of LOPSTR 92,
International Workshop on Logic Program Synthesis and Transformation,
University of Manchester,
2-3 July 1992. Workshops in Computing,
Springer 1993,
ISBN 3-540-19806-7 and 0-387-19806-7
- Ina Kraan, David A. Basin, Alan Bundy:
Logic Program Synthesis via Proof Planning.
1-14
- Daniele Nardi, Riccardo Rosati:
Deductive Synthesis of Programs for Query Answering.
15-29
- Carlos Loría-Sáenz:
Synthesis of Narrowing Programs.
30-45
- Laurent Fribourg, Hans Olsén:
A Unifying View of Structural Induction and Computation Induction for Logic Programs.
46-60
- Mario Ornaghi:
Proof Nets.
61-79
- Gerd Neugebauer:
The LOPS Approach: A Transformational Point of View (Extended Abstract).
80-81
- Maurizio Proietti, Alberto Pettorossi:
Best-first Strategies for Incremental Transformations of Logic Programs.
82-98
- Dmitri Boulanger, Maurice Bruynooghe:
Deriving Transformations for Logic Programs Using Abstract Interpretation.
99-117
- Evelina Lamma, Paola Mello:
A Rationalisation of the ATMS in Terms of Partial Evaluation.
118-131
- Giuseppe De Giacomo:
Intensional Query Answering: An Application of Partial Evaluation.
132-150
- John P. Gallagher, D. Andre de Waal:
Deletion of Redundant Unary Type Predicates from Logic Programs.
151-167
- Kristof Verschaetse, Stefaan Decorte, Danny De Schreye:
Automatic Termination Analysis.
168-183
- John Jones:
Applications of Unfolding in Prolog Programming.
184-198
- Steven David Prestwich:
An Unfold Rule for Full Prolog.
199-213
- Torben Æ. Mogensen, Anders Bondorf:
Logimix: A Self-Applicable Partial Evaluator for Prolog.
214-227
- Anne Parrain, Philippe Devienne, Patrick Lebègue:
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.
228-241
- Bart Demoen:
On the Transformation of a Prolog Program to a More Efficient Binary Program.
242-252
- José André Jimènez-Martin, Julio Moriño-Carballo, Juan José Moreno-Navarro:
Efficient Compilation of Lazy Narrowing into Prolog.
253-270
Copyright © Tue Mar 16 02:17:19 2010
by Michael Ley (ley@uni-trier.de)
