We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
Streams are infinite sequences over a given data type. A stream specificationis a set of equations intended to define a stream. We propose a transformationfrom such a stream specification to a term rewriting system (TRS) in such a waythat termination of the resulting TRS implies that the stream specification iswell-defined, that is, admits a unique solution. As a consequence, provingwell-definedness of several interesting stream specifications can be done fullyautomatically using present powerful tools for proving TRS termination. Inorder to increase the power of this approach, we investigate transformationsthat preserve semantics and well-definedness. We give examples for which theabove mentioned technique applies for the ransformed specification while itfails for the original one
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.