330 search results - page 5 / 66 » On Modular Termination Proofs of General Logic Programs |
CORR
2002
Springer
14 years 9 months ago
2002
Springer
CORR
2000
Springer
14 years 9 months ago
2000
Springer
SAS
2004
Springer
15 years 2 months ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
SAS
2001
Springer
15 years 2 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...