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
Interprocedural Shape Analysis with Separated Heap Abstractions - MaRDI portal

Interprocedural Shape Analysis with Separated Heap Abstractions (Q3613389)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Interprocedural Shape Analysis with Separated Heap Abstractions
scientific article

    Statements

    title
    Interprocedural Shape Analysis with Separated Heap Abstractions (English)
    0 references
    author
    Alexey Gotsman
    0 references
    Josh Berdine
    0 references
    Byron Cook
    0 references
    publication date
    12 March 2009
    0 references

    Identifiers

    DOI
    10.1007/11823230_16
    0 references
    zbMATH DE Number
    5528257
    0 references
    OpenAlex ID
    W2160563691
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3613389&oldid=32264546"
    Powered by MediaWiki