Static analysis by abstract interpretation: a mathematical programming approach (Q2814107)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Static Analysis by Abstract Interpretation: A Mathematical Programming Approach |
scientific article; zbMATH DE number 6594903
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Static analysis by abstract interpretation: a mathematical programming approach |
scientific article; zbMATH DE number 6594903 |
Statements
17 June 2016
0 references
guaranteed smallest code invariant
0 references
constraints
0 references
bilinear MINLP
0 references
policy iteration
0 references
branch-and-bound
0 references
0 references
0.9198835
0 references
0.9185059
0 references
0.9114621
0 references
0.9075108
0 references
0.90412486
0 references
0 references
0.88792515
0 references
0.8860183
0 references
Static analysis by abstract interpretation: a mathematical programming approach (English)
0 references
