Monotonic abstraction for programs with multiply-linked structures (Q2841994)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Monotonic abstraction for programs with multiply-linked structures |
scientific article; zbMATH DE number 6192840
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Monotonic abstraction for programs with multiply-linked structures |
scientific article; zbMATH DE number 6192840 |
Statements
30 July 2013
0 references
program verification
0 references
shape analysis
0 references
monotonic abstraction
0 references
dynamic multiply-linked data structures
0 references
1.0000002
0 references
0.88997424
0 references
0.8800614
0 references
0.8726361
0 references
0.8677109
0 references
0.86738443
0 references
0.86714697
0 references
0 references
Monotonic abstraction for programs with multiply-linked structures (English)
0 references
