Proving Termination of Input-Consuming Logic Programs (1999)

Cached

Download Links

by Jan-Georg Smaus
Citations:14 - 5 self

Documents Related by Co-Citation

188 From Logic Programming to Prolog – K R Apt - 1997
79 On the Unification Free Prolog Programs – Krzysztof R. Apt, Sandro Etalle - 1998
255 The Gödel Programming Language – Patricia M Hill, John W Lloyd - 1994
124 Reasoning about Termination of Pure Prolog Programs – Krzysztof R. Apt, Dino Pedreschi - 1993
138 Termination of logic programs: The never-ending story – D D Schreye, S Decorte - 1994
620 The Art of Prolog – L Sterling, E Shapiro - 1986
28 Termination of Well-Moded Programs – S. Etalle, A. Bossi, N. Cocco - 1994
416 Introduction to Logic Programming – K R Apt - 1989
32 Verification of Logic Programs with Delay Declarations – Krzysztof Apt, Ingrid Luitjes - 1995
12 Modes and Types in Logic Programming – J-G Smaus - 1999
44 Modular Termination Proofs for Logic and Pure Prolog Programs – Krzysztof R. Apt, Dino Pedreschi - 1993
51 Strong Termination of Logic Programs – Marc Bezem - 1993
8 Properties of Input-Consuming Derivations – A. Bossi, S. Etalle, S. Rossi - 1999
24 Coroutining and the Construction of Terminating Logic Programs – Lee Naish - 1992
11 Veri of logic programs with delay declarations – K R Apt, I Luitjes - 1995
9 Termination of Logic Programs with block Declarations Running in Several Modes – Jan Georg Smaus, Pat Hill, Andy King - 1998
115 S-Semantics Approach: Theory and Applications – A. Bossi, M. Gabbrielli, G. Levi, M. Martelli - 1994
80 Reasoning about Prolog Programs: from Modes through Types to Assertions – Krzysztof R. Apt, Elena Marchiori - 1994
7 Properties of input-consuming derivations. Theory and Practice of Logic Programming – A Bossi, S Etalle, S Rossi