93 search results - page 1 / 19 » Alternation for Termination |
PPL
2007
13 years 4 months ago
2007
In this paper, we present an program that enables the transformation of a nonterminating alternator into a terminating alternator. Our solution is stabilization preserving and has...
SAS
2010
Springer
13 years 3 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
CSL
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
— Cooperative relaying is a promising alternative for conventional mobile communications systems as it is able to increase coverage and throughput of these systems. Due to practi...
CAV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...