Continuity analysis of programs (Q5255062)
From MaRDI portal
scientific article; zbMATH DE number 6445084
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Continuity analysis of programs |
scientific article; zbMATH DE number 6445084 |
Statements
Continuity analysis of programs (English)
0 references
11 June 2015
0 references
continuity
0 references
errors
0 references
perturbations
0 references
program analysis
0 references
proof rules
0 references
robustness
0 references
sensitivity
0 references
stability
0 references
uncertainty
0 references
