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
Memory model sensitive bytecode verification - MaRDI portal

Memory model sensitive bytecode verification (Q2461564)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Memory model sensitive bytecode verification
scientific article

    Statements

    title
    Memory model sensitive bytecode verification (English)
    0 references
    author
    Thuan Quang Huynh
    0 references
    Abhik Roychoudhury
    0 references
    publication date
    28 November 2007
    0 references
    zbMATH DE Number
    5215467
    0 references
    zbMATH Keywords
    Software model checking
    0 references
    Programming language memory models
    0 references
    Bytecode verification
    0 references
    OpenAlex ID
    W2122602877
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2461564&oldid=35021358"
    Powered by MediaWiki