Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Specification Patterns and Proofs for Recursion through the Store - MaRDI portal

Specification Patterns and Proofs for Recursion through the Store (Q3088293)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Specification Patterns and Proofs for Recursion through the Store
scientific article

    Statements

    title
    Specification Patterns and Proofs for Recursion through the Store (English)
    0 references
    author
    Nathaniel Charlton
    0 references
    Bernhard Reus
    0 references
    publication date
    19 August 2011
    0 references
    describes a project that uses
    jStar
    0 references
    Crowfoot
    0 references
    Smallfoot
    0 references
    VeriFast
    0 references

    Identifiers

    zbMATH DE Number
    5940785
    0 references
    OpenAlex ID
    W208084060
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3088293&oldid=35243239"
    Powered by MediaWiki