Cyclic proofs of program termination in separation logic (Q3189830)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Cyclic proofs of program termination in separation logic
scientific article

    Statements

    Cyclic proofs of program termination in separation logic (English)
    0 references
    0 references
    0 references
    0 references
    12 September 2014
    0 references
    cyclic proof
    0 references
    Hoare logic
    0 references
    inductive definitions
    0 references
    program verification
    0 references
    separation logic
    0 references
    termination
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references