Repetitions, known or unknown? (Q1183432)
From MaRDI portal
 | 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: Repetitions, known or unknown? |
scientific article; zbMATH DE number 33290
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Repetitions, known or unknown? |
scientific article; zbMATH DE number 33290 |
Statements
Repetitions, known or unknown? (English)
0 references
28 June 1992
0 references
The purpose of this note is to discuss the meaning of repetitions in an imperative programming language with nondeterminacy, and to present some results and examples that are not widely known.
0 references
program correctness
0 references
program derivation
0 references
proof rules
0 references
refinement
0 references
repetitions
0 references
