@inproceedings{173a05627957469082d648c202ecb7a1,
title = "Well-definedness of streams by termination",
abstract = "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 TRS in such a way that termination of the resulting TRS implies that the stream specification admits a unique solution. As a consequence, proving such well-definedness of several interesting stream specifications can be done fully automatically using present powerful tools for proving TRS termination.",
author = "H. Zantema",
year = "2009",
doi = "10.1007/978-3-642-02348-4_12",
language = "English",
isbn = "978-3-642-02347-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "164--178",
editor = "R. Treinen",
booktitle = "Rewriting Techniques and Applications (20th International Conference, RTA 2009, Bras{\'i}lia, Brazil, June 29-July 1, 2009, Proceedings)",
}