Automatic numeric abstractions for heap-manipulating programs (Q5255075)
From MaRDI portal
scientific article; zbMATH DE number 6445097
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic numeric abstractions for heap-manipulating programs |
scientific article; zbMATH DE number 6445097 |
Statements
Automatic numeric abstractions for heap-manipulating programs (English)
0 references
11 June 2015
0 references
abstraction
0 references
program verification
0 references
separation logic
0 references
shape analysis
0 references
termination
0 references
