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
Aliasing Restrictions of C11 Formalized in Coq - MaRDI portal

Aliasing Restrictions of C11 Formalized in Coq (Q2938039)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Aliasing Restrictions of C11 Formalized in Coq
scientific article

    Statements

    title
    Aliasing Restrictions of C11 Formalized in Coq (English)
    0 references
    author
    Robbert Krebbers
    0 references
    publication date
    13 January 2015
    0 references
    describes a project that uses
    Isabelle
    0 references
    HOL
    0 references
    Coq
    0 references
    CompCert
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    68V15
    0 references
    68V20
    0 references
    zbMATH DE Number
    6385856
    0 references
    OpenAlex ID
    W201976661
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2938039&oldid=35431441"
    Powered by MediaWiki