Well-definedness of Streams by Transformation and Termination

  title={Well-definedness of Streams by Transformation and Termination},
  author={Hans Zantema},
  journal={Logical Methods in Computer Science},
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 specification to a term rewriting system (TRS) in such a way that termination of the resulting TRS implies that the stream specification is well-defined, that is, admits a unique… CONTINUE READING