default search action
8th ICLP 1991: Paris, France - Workshops
- Jean-Marie Jacquet:
Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP. Wiley 1993, ISBN 0-471-93789-4
Background
- Jean-Marie Jacquet:
Introduction to Logic Programming. ICLP Workshop on Construction of Logic Programs 1991: 3-36
Program Synthesis and Derivation
- Laurent Fribourg:
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. ICLP Workshop on Construction of Logic Programs 1991: 39-66 - Pierre Flener, Yves Deville:
Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 67-96 - Henryk Jan Komorowski:
On Data-type-centered, Correctness-oriented Design. ICLP Workshop on Construction of Logic Programs 1991: 97-112 - David R. Gilbert, Christopher J. Hogger:
Deriving Logic Programs from Observations. ICLP Workshop on Construction of Logic Programs 1991: 113-126 - Leon Sterling, Marc Kirschenbaum:
Applying Techniques to Skeletons. ICLP Workshop on Construction of Logic Programs 1991: 127-140
Program Analysis
- Lee Naish:
Verification of Logic Programs and Imperative Programs. ICLP Workshop on Construction of Logic Programs 1991: 143-164 - Brian J. Ross:
A Semantic Approach to Prolog Program Analysis. ICLP Workshop on Construction of Logic Programs 1991: 165-187 - Jean-Marie Jacquet:
Verifying Logic Programs from Metric Semantic Characterizations. ICLP Workshop on Construction of Logic Programs 1991: 189-211
Theoretical Foundations
- Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo:
An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 215-240 - Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini:
Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs 1991: 241-250 - Naji Habra:
From Abstract Data Types to Logic Programs: A Transformational Approach. ICLP Workshop on Construction of Logic Programs 1991: 251-278 - Paul Tarau, Michel Boyer:
Nonstandard Answers of Elementary Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 279-300
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-01 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: