1716 search results - page 9 / 344 » Proving Conditional Termination |
CADE
2006
Springer
13 years 11 months ago
2006
Springer
JALC
2007
13 years 7 months ago
2007
ICLP
2009
Springer
13 years 5 months ago
2009
Springer
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
WFLP
2009
Springer
14 years 2 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...