Concrete Memory Models for Shape Analysis (Q2814114)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Concrete Memory Models for Shape Analysis |
scientific article |
Statements
Concrete Memory Models for Shape Analysis (English)
0 references
17 June 2016
0 references
memory models
0 references
programming language semantics
0 references
C-like programming languages
0 references
shape analysis
0 references