Statically Inferring Complex Heap, Array, and Numeric Invariants (Q4930717)
From MaRDI portal
scientific article; zbMATH DE number 5794752
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Statically Inferring Complex Heap, Array, and Numeric Invariants |
scientific article; zbMATH DE number 5794752 |
Statements
Statically Inferring Complex Heap, Array, and Numeric Invariants (English)
0 references
1 October 2010
0 references
