5. LOPSTR 1995: Utrecht, The Netherlands

Maurizio Proietti (Ed.): Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Lecture Notes in Computer Science 1048 Springer 1996, ISBN 3-540-60939-3 BibTeX

@proceedings{DBLP:conf/lopstr/1995,
  editor    = {Maurizio Proietti},
  title     = {Logic Programming Synthesis and Transformation, 5th International
               Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22,
               1995, Proceedings},
  booktitle = {LOPSTR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1048},
  year      = {1996},
  isbn      = {3-540-60939-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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