The ramifications of sharing in data structures (Q2931837)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The ramifications of sharing in data structures |
scientific article |
Statements
The ramifications of sharing in data structures (English)
0 references
27 November 2014
0 references
aliasing
0 references
heap/shape
0 references
modularity
0 references
separation logic
0 references