A relational shape abstract domain (Q2058389)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A relational shape abstract domain
scientific article

    Statements

    A relational shape abstract domain (English)
    0 references
    0 references
    0 references
    0 references
    8 December 2021
    0 references
    static analysis
    0 references
    abstract interpretation
    0 references
    shape analysis
    0 references
    separation logic
    0 references
    relational properties
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers