Practical Tactics for Separation Logic (Q3183539)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Practical Tactics for Separation Logic
scientific article

    Statements

    title
    Practical Tactics for Separation Logic (English)
    0 references
    author
    Andrew McCreight
    0 references
    publication date
    20 October 2009
    0 references
    zbMATH DE Number
    5618518
    0 references
    describes a project that uses
    KRAKATOA
    0 references
    Caduceus
    0 references
    cminor
    0 references
    Coq
    0 references
    Why3
    0 references
    CompCert
    0 references
    Smallfoot
    0 references
    OpenAlex ID
    W169519546
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3183539&oldid=32028366"
    Powered by MediaWiki