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
Formalising Java’s Data Race Free Guarantee - MaRDI portal

Formalising Java’s Data Race Free Guarantee (Q3523163)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Formalising Java’s Data Race Free Guarantee
scientific article

    Statements

    title
    Formalising Java’s Data Race Free Guarantee (English)
    0 references
    author
    Jaroslav Ševčík
    0 references
    David Aspinall
    0 references
    publication date
    2 September 2008
    0 references
    Mathematics Subject Classification ID
    68N15
    0 references
    68N19
    0 references
    68T15
    0 references
    zbMATH DE Number
    5318933
    0 references
    describes a project that uses
    UMM
    0 references
    Checkfence
    0 references
    OpenAlex ID
    W1594381772
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3523163&oldid=31892212"
    Powered by MediaWiki