Generalizing specifications for uniformly implemented loops (Q5184367)
From MaRDI portal
scientific article; zbMATH DE number 3892549
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalizing specifications for uniformly implemented loops |
scientific article; zbMATH DE number 3892549 |
Statements
Generalizing specifications for uniformly implemented loops (English)
0 references
1985
0 references
verification
0 references
iteration condition
0 references
generalizing functional specifications
0 references
while loops
0 references
uniformly implemented loops
0 references
