Checked corecursive streams: Expressivity and completeness

Checked corecursive streams are a novel approach to stream definitions relying on a semantics of function application detecting cyclic calls, and a well-definedness check ensuring that access to an arbitrary index will always return a result. We extend the technique beyond the simple stream operator...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theoretical computer science Jg. 974; S. 114081
Hauptverfasser:	Ancona, Davide, Barbieri, Pietro, Zucca, Elena
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 29.09.2023
Schlagworte:	Operational semantics Runtime checking Stream programming Stream programming Operational semantics Runtime checking
ISSN:	0304-3975
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!