Searching for "Automatic Termination Analysis of Logic Programs." – sorted by Relevance.

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

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

12 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
… Termination Analysis of Logic Programs ? Nachum Dershowitz 1 , Naomi Lindenstrauss 2 , Yehoshua Sagiv 2…
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

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

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
…TermiLog: A System for Checking Termination of Queries to Logic Programs ? N. Lindenstrauss, Y…
Cited by 19 (4 self) – Add To MetaCart

Termination analysis of logic programs through combination of type-based norms
by Maurice Bruynooghe, Michael Codish, John P. Gallagher — 2006 — ACM Trans. Program. Lang. Syst
…Termination Analysis of Logic Programs through Combination of Type-Based Norms MAURICE BRUYNOOGHE…
Cited by 10 (4 self) – Add To MetaCart

TALP: A tool for the termination analysis of logic programs
by Enno Ohlebusch, Claus Claves, Claude Marché — 2000 — In Proc. 11th RTA, LNCS 1833
…The TALP Tool for Termination Analysis of Logic Programs 1 Introduction Enno Ohlebusch 1 , Claus…
Cited by 13 (0 self) – Add To MetaCart

Termination Analysis for Mercury using Convex Constraints
by Julien Fischer, Supervisors Zoltan Somogyi — 2002 — Journal of Biomedical Optics � July 2002
… of this method. 1 Introduction Automatic termination analysis is a program analysis technique that attempts…
Cited by 2 (0 self) – Add To MetaCart

Termination Analysis for Mercury
by Chris Speirs, Zoltan Somogyi, Harald Søndergaard — 1997
… eighties, much progress has been made in the theory of termination analysis for logic programs. However…
Cited by 29 (1 self) – Add To MetaCart

A Brief Overview of Logic Programming Research at the K.U.Leuven, with Notes on its Industrial
by Bern Martens, Maurice Bruynooghe, Marc Denecker, Luc De Raedt, Danny De Schreye, Gerda Janssens
…, abstract interpretation and automatic termination analysis, logic programming and knowledge representation…
Add To MetaCart

Showing 1 through 10. Next 10 →

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