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

Celý popis

Podrobná bibliografie

Vydáno v:	Theoretical computer science Ročník 974; s. 114081
Hlavní autoři:	Ancona, Davide, Barbieri, Pietro, Zucca, Elena
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 29.09.2023
Témata:	Operational semantics Runtime checking Stream programming Stream programming Operational semantics Runtime checking
ISSN:	0304-3975
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!