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
    0 references
    0 references
    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

    Identifiers