Checked corecursive streams: expressivity and completeness (Q6049926)
From MaRDI portal
scientific article; zbMATH DE number 7739127
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Checked corecursive streams: expressivity and completeness |
scientific article; zbMATH DE number 7739127 |
Statements
Checked corecursive streams: expressivity and completeness (English)
0 references
18 September 2023
0 references
operational semantics
0 references
stream programming
0 references
runtime checking
0 references
