Specification patterns for reasoning about recursion through the store (Q393092)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specification patterns for reasoning about recursion through the store
scientific article

    Statements

    Specification patterns for reasoning about recursion through the store (English)
    0 references
    0 references
    0 references
    16 January 2014
    0 references
    0 references
    0 references
    0 references
    0 references
    Hoare logic
    0 references
    higher-order store
    0 references
    separation logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references