Limits and difficulties in the design of under-approximation abstract domains (Q6141757)
From MaRDI portal
scientific article; zbMATH DE number 7793021
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Limits and difficulties in the design of under-approximation abstract domains |
scientific article; zbMATH DE number 7793021 |
Statements
Limits and difficulties in the design of under-approximation abstract domains (English)
0 references
23 January 2024
0 references
abstract interpretation
0 references
under-approximation
0 references
abstract domains
0 references
impossibility results
0 references
0 references
