Statically inferring complex heap, array, and numeric invariants (Q4930717)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5794752
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.726422905921936
0 references
0.7082086801528931
0 references
0.7072556018829346
0 references
0.7041877508163452
0 references
