Relational Methods in the Analysis of While Loops: Observations of Versatility (Q3651520)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational Methods in the Analysis of While Loops: Observations of Versatility |
scientific article |
Statements
Relational Methods in the Analysis of While Loops: Observations of Versatility (English)
0 references
11 December 2009
0 references
function extraction
0 references
loop functions
0 references
invariant assertions
0 references
invariant relations
0 references
invariant functions
0 references
relational calculus
0 references
refinement calculus
0 references
computing loop behavior
0 references
