143 search results - page 2 / 29 » Termination of Well-Typed Logic Programs |
CORR
2000
Springer
13 years 7 months ago
2000
Springer
CORR
2002
Springer
13 years 7 months ago
2002
Springer
SAS
2001
Springer
13 years 11 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...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...