A new abstraction framework for affine transformers (Q2322316)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new abstraction framework for affine transformers |
scientific article |
Statements
A new abstraction framework for affine transformers (English)
0 references
4 September 2019
0 references
affine transformers
0 references
bit-vectors
0 references
program verification
0 references
abstract domains
0 references
abstract interpretation
0 references
