Experimental evaluation of numerical domains for inferring ranges (Q2130561)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Experimental evaluation of numerical domains for inferring ranges |
scientific article |
Statements
Experimental evaluation of numerical domains for inferring ranges (English)
0 references
25 April 2022
0 references
static analysis
0 references
abstract interpretation
0 references
numerical domains
0 references
polyhedra
0 references
widening
0 references
