Well-definedness of Streams by Transformation and Termination

@article{Zantema2009WelldefinednessOS,
  title={Well-definedness of Streams by Transformation and Termination},
  author={Hans Zantema},
  journal={Logical Methods in Computer Science},
  year={2009},
  volume={6}
}
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