ICLP Workshop on Construction of Logic Programs

Keyphrases

Publications

1993

Constructing Logic Programs - This book is issued from a workshop on the subject of the construction of logic programs, organized during the 1991 ICLP ICLP Workshop on Construction of Logic Programs (1993)

1991

Jean-Marie Jacquet
Verifying Logic Programs from Metric Semantic Characterizations. ICLP Workshop on Construction of Logic Programs (1991)
Henryk Jan Komorowski
On Data-type-centered, Correctness-oriented Design. ICLP Workshop on Construction of Logic Programs (1991)
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
Theory Construction in Computational Logic. ICLP Workshop on Construction of Logic Programs (1991)
Lee Naish
Verification of Logic Programs and Imperative Programs. ICLP Workshop on Construction of Logic Programs (1991)
Laurent Fribourg
Extracting Logic Programs from Proofs that Use Extended Prolog Execution and Induction. ICLP Workshop on Construction of Logic Programs (1991)
Jean-Marie Jacquet
Introduction to Logic Programming. ICLP Workshop on Construction of Logic Programs (1991)
Naji Habra
From Abstract Data Types to Logic Programs: A Transformational Approach. ICLP Workshop on Construction of Logic Programs (1991)
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo
An OR-Compositional Semantics for Logic Programs. ICLP Workshop on Construction of Logic Programs (1991)
Paul Tarau, Michel Boyer
Nonstandard Answers of Elementary Logic Programs. ICLP Workshop on Construction of Logic Programs (1991)
Pierre Flener, Yves Deville
Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ICLP Workshop on Construction of Logic Programs (1991)
Leon Sterling, Marc Kirschenbaum
Applying Techniques to Skeletons. ICLP Workshop on Construction of Logic Programs (1991)
David R. Gilbert, Christopher J. Hogger
Deriving Logic Programs from Observations. ICLP Workshop on Construction of Logic Programs (1991)
Brian J. Ross
A Semantic Approach to Prolog Program Analysis. ICLP Workshop on Construction of Logic Programs (1991)