Searching for "Termination of Well-Moded Programs." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Termination of Well-Moded Programs
- …J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Termination of Well-Moded Programs S. Etalle A. Bossi, N…
- Cited by 21 (7 self) – Add To MetaCart
-
On Modular Termination Proofs of General Logic Programs
- … prove that for well-moded programs, when R is well-terminating, that is any well-moded query terminates…
- Cited by 7 (0 self) – Add To MetaCart
-
A Methodology For Proving Termination Of Logic Programs
- … of well-moded programs by generalizing the form of inequalities to \Sigmap i + c \Sigmap j and allowing…
- Cited by 10 (1 self) – Add To MetaCart
Showing 1 through 3.
