437 search results - page 61 / 88 » Proving Termination by Divergence |
AISC
2004
Springer
14 years 1 months ago
2004
Springer
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
ISCC
2003
IEEE
14 years 1 months ago
2003
IEEE
The advent of the cooperating IP-enabled heterogeneous radio networks will offer, under the “Beyond 3G” vision, ubiquitous services. In this new challenging context, a novel a...
FASE
2001
Springer
14 years 12 days ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
IPPS
1999
IEEE
14 years 6 days ago
1999
IEEE
A data-accumulating algorithm (d-algorithm for short) works on an input considered as a virtually endless stream. The computation terminates when all the currently arrived data ha...
CSFW
1997
IEEE
14 years 4 days ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...