Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (Q5452611)
From MaRDI portal
scientific article; zbMATH DE number 5259438
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning |
scientific article; zbMATH DE number 5259438 |
Statements
Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning (English)
0 references
4 April 2008
0 references
