Precise reasoning for programs using containers (Q5408543)
From MaRDI portal
scientific article; zbMATH DE number 6282603
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Precise reasoning for programs using containers |
scientific article; zbMATH DE number 6282603 |
Statements
Precise reasoning for programs using containers (English)
0 references
10 April 2014
0 references
container analysis
0 references
heap analysis
0 references
symbolic heap
0 references
