Static Analysis by Abstract Interpretation: A Mathematical Programming Approach (Q2814107)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Static Analysis by Abstract Interpretation: A Mathematical Programming Approach |
scientific article |
Statements
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach (English)
0 references
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
