Abstracting Induction by Extrapolation and Interpolation (Q5172632)
From MaRDI portal
scientific article; zbMATH DE number 6397668
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstracting Induction by Extrapolation and Interpolation |
scientific article; zbMATH DE number 6397668 |
Statements
Abstracting Induction by Extrapolation and Interpolation (English)
0 references
4 February 2015
0 references
abstract induction
0 references
abstract interpretation
0 references
dual-narrowing
0 references
dual-widening
0 references
extrapolation
0 references
interpolation
0 references
narrowing
0 references
static analysis
0 references
static checking
0 references
static verification
0 references
widening
0 references
