Infinite executions of lazy and strict computations (Q2347906)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinite executions of lazy and strict computations |
scientific article |
Statements
Infinite executions of lazy and strict computations (English)
0 references
10 June 2015
0 references
axiomatic program semantics
0 references
iteration algebras
0 references
lazy execution
0 references
non-strict computations
0 references
relations
0 references
sequential computations
0 references
0 references
