Checking equivalence of corecursive streams: An inductive procedure

In recent work, non-periodic streams have been defined corecursively, by representing them with finitary equational systems built on top of various operators, besides the standard constructor. When only the stream constructor is allowed in equations, only periodic streams can be represented, and the...

Full description

Bibliographic Details

Published in:	Theoretical computer science Vol. 1009; p. 114680
Main Authors:	Ancona, Davide, Barbieri, Pietro, Zucca, Elena
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 12.09.2024
Subjects:	Operational semantics Regular trees Stream programming Stream programming Operational semantics Regular trees
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!