8. ICLP 1991: Paris, France - Workshops

Jean-Marie Jacquet (Ed.): Constructing Logic Programs. Wiley 1993, ISBN 0-471-93789-4.

Background

Laurent Fribourg: Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. 39-66
Pierre Flener, Yves Deville: Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. 67-96
Henryk Jan Komorowski: On Data-type-centered, Correctness-oriented Design. 97-112
David Gilbert, Christopher J. Hogger: Deriving Logic Programs from Observations. 113-126
Leon Sterling, Marc Kirschenbaum: Applying Techniques to Skeletons. 127-140

Lee Naish: Verification of Logic Programs and Imperative Programs. 143-164
Brian J. Ross: A Semantic Approach to Prolog Program Analysis. 165-187
Jean-Marie Jacquet: Verifying Logic Programs from Metric Semantic Characterizations. 189-211

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: An OR-Compositional Semantics for Logic Programs. 215-240
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini: Theory Construction in Computational Logic. 241-250
Naji Habra: From Abstract Data Types to Logic Programs: A Transformational Approach. 251-278
Paul Tarau, Michel Boyer: Nonstandard Answers of Elementary Logic Programs. 279-300