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

Active Bibliography

Integrating Types in Abstract Interpretation Based Automatic Termination Analysis of Logic Programs – Stefaan Decorte, Danny De Schreye, Massimo Fabris
34 Constraint-based Termination Analysis of Logic Programs – Stefaan Decorte, Danny De Schreye, Henk Vandecasteele - 1999
10 Verification of Logic Programs – Dino Pedreschi, Salvatore Ruggieri - 1997
10 A Methodology For Proving Termination Of Logic Programs – Bal Wang, R. K. Shyamasundar - 1991
1 Strong Termination of Logic Programs – Marc Bezem
51 Strong Termination of Logic Programs – Marc Bezem - 1993
10 Proving Termination for Logic Programs by the Query-Mapping Pairs Approach – Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik - 2004
6 A Declarative Approach for First-Order Built-in's of Prolog – K. R. Apt, E. Marchiori, C. Palamidessi, Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi - 1992
44 Modular Termination Proofs for Logic and Pure Prolog Programs – Krzysztof R. Apt, Dino Pedreschi - 1993
3 Contributions to a Theory of Existential Termination for Definite Logic Programs – Giorgio Levi, Francesca Scozzari - 1995
34 A Transformational Methodology for Proving Termination of Logic Programs – M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar - 1991
100 A Semantic Basis for the Termination Analysis of Logic Programs – Michael Codish, Cohavit Taboch - 1999
15 Program Verification and Prolog – Krzysztof R. Apt - 1994
245 Logic Programming and Negation: A Survey – Krzysztof R. Apt, Roland Bol - 1994
28 Termination of Well-Moded Programs – S. Etalle, A. Bossi, N. Cocco - 1994
28 Modelling Prolog Control – Roberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi - 1992
11 On Modular Termination Proofs of General Logic Programs – Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi - 2002
3 Automated Termination Analysis for Logic Programs – Kirack Sohn - 1993
Analysis and Transformation of Logic Programs – Kjell Erik Post - 1994