Searching for "Automatic Termination Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

36 documents found, showing 1 through 10. Next 10 →

Automatic Termination Analysis of Logic Programs
by Naomi Lindenstrauss, Yehoshua Sagiv — 1997 — Proceedings of the Fourteenth International Conference on Logic Programming
…Automatic Termination Analysis of Logic Programs Naomi Lindenstrauss and Yehoshua Sagiv…
Cited by 49 (2 self) – Add To MetaCart

A General Framework for Automatic Termination Analysis of Logic Programs
by Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik — 2000
… Framework for Automatic Termination Analysis 7 in B j . Then we will take ff to map the call branch between…
Cited by 30 (7 self) – Add To MetaCart

Integrating Types in Abstract Interpretation Based Automatic Termination Analysis of Logic Programs
by Stefaan Decorte, Danny De Schreye, Massimo Fabris
… Integrating Types in Abstract Interpretation Based Automatic Termination Analysis of Logic…
Add To MetaCart

Automatic Termination Analysis for Partial Functions Using Polynomial Orderings
by Jürgen Brauburger — 1997 — In Proc. 4th SAS
…Automatic Termination Analysis for Partial Functions Using Polynomial Orderings ? Jurgen…
Cited by 5 (3 self) – Add To MetaCart

Termination analysis by inductive evaluation
by Jürgen Brauburger, Jürgen Giesl — 1998 — 15TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
…@(email omitted); Abstract. We present a new approach for automatic termination analysis of functional programs. Several…
Cited by 6 (4 self) – Add To MetaCart

Schreye. Polynomial interpretations as a basis for termination analysis of logic programs
by Peter Schneider-kamp, Peter Schneider-kamp, Manh Thang Nguyen, Manh Thang Nguyen, Manh Thang Nguyen, Danny De Schreye, Danny De Schreye, Danny De Schreye, Jürgen Giesl, Jürgen Giesl, Jürgen Giesl — 2005 — Proceedings of the 21st International Conference on Logic Programming (ICLP’05), volume 3668 of LNCS
… Polytool, for automatic termination analysis of logic programs. Keywords : Termination analysis…
Cited by 6 (4 self) – Add To MetaCart

Exploiting the Power of Typed Norms in Automatic Inference of Interargument Relations
by Stefaan Decorte, Danny De Schreye, Massimo Fabris — 1994 — TR 246, Dpt CS, , K.U.Leuven
… automatic termination analysis techniques presented previously. 1 Introduction Types are fulfilling…
Cited by 8 (2 self) – Add To MetaCart

Termination Analysis of Tabled Logic Programs using Mode and Type Information
by Sofie Verbaeten, Danny De Schreye — 1999
…], where a constraint-based automatic termination analysis for LD-resolution (SLD-resolution with left…
Cited by 7 (4 self) – Add To MetaCart

How to Compute the Domains of Partial Functions
by Jürgen Brauburger — 1997
… to automate termination proofs. The proposed method proved successful in automatic termination analysis…
Cited by 1 (1 self) – Add To MetaCart

TermiLog: A System for Checking Termination of Queries to Logic Programs
by N. Lindenstrauss, Y. Sagiv, A. Serebrenik — 1997 — In CAV’97: Computer-Aided Verification, LNCS
… Introduction TermiLog is a system, implemented in SICStus Prolog [SICS95], for automatic termination analysis…
Cited by 19 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB