Shape Neutral Analysis of Graph-based Data-structures (Q4559807)
From MaRDI portal
scientific article; zbMATH DE number 6988656
Language | Label | Description | Also known as |
---|---|---|---|
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