Transfer Function Synthesis without Quantifier Elimination (Q5891770)
From MaRDI portal
scientific article; zbMATH DE number 6086015
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transfer Function Synthesis without Quantifier Elimination |
scientific article; zbMATH DE number 6086015 |
Statements
Transfer Function Synthesis without Quantifier Elimination (English)
0 references
25 September 2012
0 references
abstract interpretation
0 references
static analysis
0 references
automatic abstraction
0 references
transfer functions
0 references
linear constraints
0 references
