Interactive proofs in higher-order concurrent separation logic (Q5370856)

From MaRDI portal
scientific article; zbMATH DE number 6794653
Language Label Description Also known as
English
Interactive proofs in higher-order concurrent separation logic
scientific article; zbMATH DE number 6794653

    Statements

    Interactive proofs in higher-order concurrent separation logic (English)
    0 references
    0 references
    0 references
    0 references
    20 October 2017
    0 references
    Coq
    0 references
    fine-grained concurrency
    0 references
    interactive theorem proving
    0 references
    logical relations
    0 references
    separation logic
    0 references

    Identifiers

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