Abstract is missing.
- Program Equivalence, Program Development and Integrity CheckingJonathan M. Lever. 1-12
- Program Specification and Synthesis in Constructive Formal SystemsPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 13-26
- Synthesis and Transfomation of Logic Programs from Constructive, Inductive ProofGeraint A. Wiggins, Alan Bundy, Ina Kraan, Jane Hesketh. 27-45
- Towards Stepwise, Schema-guided Synthesis of Logic ProgrammsPierre Flener, Yves Deville. 46-64
- Inductive Synthesis of Rewrite Rules as Program Synthesis (Extended Abstract)Klaus P. Jantke, Ulf Goldhammer. 65-68
- Towards Synthesis of Nearly Pure Prolog Programs (Extende Abstract)Lubos Popelínsky. 94-96
- Schema-Based Transfomations of Logic ProgramsNorbert E. Fuchs, Markus P. J. Fromherz. 111-125
- An Automatic Transfomation Strategy for Avoiding Unnecessary Variables in Logic Programs (Extended Abstract)Maurizio Proietti, Alberto Pettorossi. 126-128
- On Using Mode Input-output for Transforming Logic ProgramsFrancis Alexandre, Khaled Bsaïes, Alain Quéré. 129-146
- Abstract Interpretation and Recursive Behaviour of Logic ProgramsChristophe Lecoutre, Philippe Devienne, Patrick Lebègue. 147-166
- Speed-up Transformations of Logic Programs by Abstraction and LearningJutta Eusterbrock. 167-182
- Specialisation of a Unification AlgorithmD. Andre de Waal, John P. Gallagher. 205-220
- Semantics-based Partial Evaluation of Prolog ProgramsBrian J. Ross. 221-237
- Prolog Program Transformations and Meta-InterpretersAnne Parrain, Philippe Devienne, Patrick Lebègue. 238-251
- Automated Translation of Occam to a Concurrent Logic LanguageMatthew M. Huntbach. 254-275
- Program Transformations Directed by the Evaluation of non Functional Properties (Extended Abstract)Yamine Aït Ameur. 297-299
- Using a Prolog Prototype for Designing an Object Oriented SchemeChristine Solnon, Michel Rueher. 300-317
- Non-Determinism and Lazy Evaluation in Logic ProgrammingSergio Antoy. 318-331
- Query Optimization in an Object-Oriented Database using Prolog (Extende Abstract)Zhuoan Jiao, Peter M. D. Gray. 332-334