Fully Bounded Polyhedral Analysis of Integers with Wrapping (Q5170176)
From MaRDI portal
scientific article; zbMATH DE number 6319527
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fully Bounded Polyhedral Analysis of Integers with Wrapping |
scientific article; zbMATH DE number 6319527 |
Statements
Fully Bounded Polyhedral Analysis of Integers with Wrapping (English)
0 references
22 July 2014
0 references
abstract interpretation
0 references
abstract domains
0 references
numerical domains
0 references
convex polyhedra
0 references
widening
0 references
overflows
0 references
