8. ICLP 1991: Paris, France - Workshops

Background

• Jean-Marie Jacquet: Introduction to Logic Programming. 3-36 BibTeX

Program Synthesis and Derivation

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

Program Analysis

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

Theoretical Foundations

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