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 BibTeX
- Daniele Nardi, Riccardo Rosati:
Deductive Synthesis of Programs for Query Answering.
15-29 BibTeX
- Carlos Loría-Sáenz:
Synthesis of Narrowing Programs.
30-45 BibTeX
- Laurent Fribourg, Hans Olsén:
A Unifying View of Structural Induction and Computation Induction for Logic Programs.
46-60 BibTeX
- Mario Ornaghi:
Proof Nets.
61-79 BibTeX
- Gerd Neugebauer:
The LOPS Approach: A Transformational Point of View (Extended Abstract).
80-81 BibTeX
- Maurizio Proietti, Alberto Pettorossi:
Best-first Strategies for Incremental Transformations of Logic Programs.
82-98 BibTeX
- Dmitri Boulanger, Maurice Bruynooghe:
Deriving Transformations for Logic Programs Using Abstract Interpretation.
99-117 BibTeX
- Evelina Lamma, Paola Mello:
A Rationalisation of the ATMS in Terms of Partial Evaluation.
118-131 BibTeX
- Giuseppe De Giacomo:
Intensional Query Answering: An Application of Partial Evaluation.
132-150 BibTeX
- John P. Gallagher, D. Andre de Waal:
Deletion of Redundant Unary Type Predicates from Logic Programs.
151-167 BibTeX
- Kristof Verschaetse, Stefaan Decorte, Danny De Schreye:
Automatic Termination Analysis.
168-183 BibTeX
- John Jones:
Applications of Unfolding in Prolog Programming.
184-198 BibTeX
- Steven David Prestwich:
An Unfold Rule for Full Prolog.
199-213 BibTeX
- Torben Æ. Mogensen, Anders Bondorf:
Logimix: A Self-Applicable Partial Evaluator for Prolog.
214-227 BibTeX
- Anne Parrain, Philippe Devienne, Patrick Lebègue:
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation.
228-241 BibTeX
- Bart Demoen:
On the Transformation of a Prolog Program to a More Efficient Binary Program.
242-252 BibTeX
- José André Jimènez-Martin, Julio Moriño-Carballo, Juan José Moreno-Navarro:
Efficient Compilation of Lazy Narrowing into Prolog.
253-270 BibTeX
Copyright © Sat May 16 23:28:56 2009
by Michael Ley (ley@uni-trier.de)