4. LOPSTR / 4. META 1994: Pisa, Italy

Laurent Fribourg, Franco Turini (Eds.): Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings. Lecture Notes in Computer Science 883 Springer 1994, ISBN 3-540-58792-6 BibTeX

@proceedings{DBLP:conf/lopstr/1994,
  editor    = {Laurent Fribourg and
               Franco Turini},
  title     = {Logic Programming Synthesis and Transformation - Meta-Programming
               in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
               Italy, June 20-21, 1994, Proceedings},
  booktitle = {LOPSTR/META},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {883},
  year      = {1994},
  isbn      = {3-540-58792-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

LOPSTR

David A. Basin: Logic Frameworks for Logic Programs. 1-16 BibTeX
N. Bensaou, Irène Guessarian: An Extended Transformation System for CLP Programs. 17-35 BibTeX
Dmitri Boulanger, Maurice Bruynooghe: Using Call/Exit Analysis for Logic Program Transformation. 36-50 BibTeX
J. Cook, John P. Gallagher: A Transformation System for Definite Programs Based on Termination Analysis. 51-68 BibTeX
Pierre Flener, Lubos Popelínsky: On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. 69-87 BibTeX
David Gilbert, Christopher J. Hogger, Jirí Zlatuska: Transforming Specifications of Observable Behaviour into Programs. 88-103 BibTeX
Kung-Kiu Lau, Mario Ornaghi: On Specification Frameworks and Deductive Synthesis of Logic Programs. 104-121 BibTeX
Michael Leuschel: Partial Evaluation of the "Real Thing". 122-137 BibTeX
Emmanuil I. Marakakis, John P. Gallagher: Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. 138-153 BibTeX
Sophie Renault: Generalizing Extended Execution for Normal Programs. 154-169 BibTeX
Chiaki Sakama, Hirohisa Seki: Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. 170-182 BibTeX
Giovanni Semeraro, Floriana Esposito, Donato Malerba, Clifford Brunk, Michael J. Pazzani: Avoiding Non-Termination when Learning Logical Programs: A Case Study with FOIL and FOCL. 183-198 BibTeX
Christine Solnon, Michel Rueher: Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. 199-214 BibTeX
Paul Tarau, Verónica Dahl: Logic Programming and Logic Grammars with First-Order Continuations. 215-230 BibTeX
Geraint A. Wiggins: Improving the Whelk System: A Type-Theoretic Reconstruction. 231-247 BibTeX