56 search results - page 1 / 12 » A Tool Proving Well-Definedness of Streams Using Termination... |
CALCO
2009
Springer
14 years 1 months ago
2009
Springer
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. We propose a transformation from such a stream spec...
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
RTA
2010
Springer
13 years 11 months ago
2010
Springer
For a general class of infinite data structures including streams, binary trees, and the combination of finite and infinite lists, we investigate a notion of productivity. This ...
ESSLLI
2009
Springer
13 years 5 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...