Abstract is missing.
- Ecological Partial Deduction: Preserving Characteristic Trees Without ConstraintsMichael Leuschel. 1-16
- Memoing Evaluation by Source-to-Source TransformationJens E. Wunderwald. 17-32
- Transformation of Left Terminating Programs: the Reordering ProblemAnnalisa Bossi, Nicoletta Cocco, Sandro Etalle. 33-45
- Derivation of Concurrent Algorithms in TempoSteve Gregory. 46-60
- An Argumentation-Theoretic Approach to Logic Program TransformationFrancesca Toni, Robert A. Kowalski. 61-75
- Complexity of Horn ProgramsErik Aarts. 76-90
- Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity AnalysisMaría-del-Mar Gallardo, José M. Troya. 91-105
- Towards Automatic Control for CLP(x) ProgramsFrédéric Mesnard. 106-119
- Ideal Refinement of Datalog ProgramsGiovanni Semeraro, Floriana Esposito, Donato Malerba. 120-136
- Guiding Program Development Systems by a Connection Based Proof StrategyChristoph Kreitz, Jens Otten, Stephan Schmitt. 137-151
- Towards an Object-Oriented Methodology for Deductive Synthesis of Logic ProgramsKung-Kiu Lau, Mario Ornaghi. 152-169
- Logic Program Synthesis by Induction over Horn ClausesAndrew J. Parkes, Geraint A. Wiggins. 170
- Logic Program Transformation through Generalization SchemataPierre Flener, Yves Deville. 171-173
- An Opportunistic Approach for Logic Program Analysis and Optimisation Using Enhanced Schema-Based TransformationsWamberto Weber Vasconcelos, Norbert E. Fuchs. 174-188
- Solving Deductive Planning Problems Using Program Analysis and TransformationD. Andre de Waal, Michael Thielscher. 189-203
- Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the CompletionSophie Renault. 204-218
- Termination of Logic Programs Using Semantic UnificationThomas Arts, Hans Zantema. 219-233
- On the Mechanics of Metasystem Hierarchies in Program TransformationRobert Glück. 234-251
- Efficient Translation of Lazy Functional Logic Programs into PrologMichael Hanus. 252-266