Shape neutral analysis of graph-based data-structures (Q4559807)
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 6988656
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Shape neutral analysis of graph-based data-structures |
scientific article; zbMATH DE number 6988656 |
Statements
Shape Neutral Analysis of Graph-based Data-structures (English)
0 references
4 December 2018
0 references
constraint handling rules
0 references
satisfiability modulo constraint handling rules
0 references
satisfiability modulo theories
0 references
program analysis
0 references
data structures
0 references
memory errors
0 references
0.7650091648101807
0 references
0.7599902153015137
0 references
0.7572498917579651
0 references
0.7519328594207764
0 references
0.7488201260566711
0 references
