A generalized iterative construct and its semantics (Q3768365)
From MaRDI portal
| File:Ambox important.svg | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A generalized iterative construct and its semantics |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A generalized iterative construct and its semantics |
scientific article |
Statements
A generalized iterative construct and its semantics (English)
0 references
1987
0 references
DOupon
0 references
predicate transformer
0 references
correctness proofs
0 references
optimization
0 references
