Compositional Shape Analysis by Means of Bi-Abduction (Q5395670): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q736796
Property / author
 
Property / author: Peter W. O'Hearn / rank
Normal rank
 

Revision as of 19:03, 20 February 2024

scientific article; zbMATH DE number 6258067
Language Label Description Also known as
English
Compositional Shape Analysis by Means of Bi-Abduction
scientific article; zbMATH DE number 6258067

    Statements

    Compositional Shape Analysis by Means of Bi-Abduction (English)
    0 references
    0 references
    0 references
    0 references
    17 February 2014
    0 references
    abstract interpretation
    0 references
    compositionality
    0 references
    program proving
    0 references
    separation logic
    0 references
    static analysis
    0 references

    Identifiers