Reasoning about Termination of Pure Prolog Programs (1993)

Cached

Download Links

by Krzysztof R. Apt , Dino Pedreschi
Venue:Information and Computation
Citations:124 - 14 self

Documents Related by Co-Citation

1858 Foundation of Logic Programming – J W Lloyd - 1987
138 Termination of logic programs: The never-ending story – D D Schreye, S Decorte - 1994
73 Termination Proofs for Logic Programs – Lutz Pl├╝mer
418 Logic programming – K Apt - 1990
80 Reasoning about Prolog Programs: from Modes through Types to Assertions – Krzysztof R. Apt, Elena Marchiori - 1994
1499 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
67 Efficient tests for top-down termination of logical rules – J D ULLMAN, A VAN GELDER - 1988
44 Modular Termination Proofs for Logic and Pure Prolog Programs – Krzysztof R. Apt, Dino Pedreschi - 1993
621 The Art of Prolog – L Sterling, E Shapiro - 1986
286 Abstract interpretation and application to logic programs – Patrick Cousot, Radhia Cousot - 1992
46 Characterizing termination of logic programs with level mapping – M Bezem - 1992
41 Proving Termination of Logic Programs by Exploiting Term Properties – A BOSSI, N COCCO, M FABRIS - 1991
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
79 On the Unification Free Prolog Programs – Krzysztof R. Apt, Sandro Etalle - 1998
32 Inference of monotonicity constraints in Datalog programs – A Brodsky, Y Sagiv - 1989
50 Studies in Pure Prolog: Termination – K R Apt, D Pedreschi - 1990
65 Automatic Termination Analysis of Logic Programs – Naomi Lindenstrauss, Yehoshua Sagiv - 1997
191 The execution algorithm of Mercury, an efficient purely declarative logic programming language – Zoltan Somogyi, Fergus Henderson, Thomas Conway - 1996
27 Proof methods of declarative properties of definite programs – P Deransart - 1993