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...

Full description

Bibliographic Details

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