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
Abstract interpretation with unfoldings - MaRDI portal

Abstract interpretation with unfoldings (Q2164221)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Abstract interpretation with unfoldings
scientific article

    Statements

    title
    Abstract interpretation with unfoldings (English)
    0 references
    author
    César Rodríguez
    0 references
    Vijay D'Silva
    0 references
    Daniel Kroening
    0 references
    Marcelo S. Sousa
    0 references
    publication date
    12 August 2022
    0 references

    Identifiers

    zbMATH DE Number
    7571377
    0 references
    OpenAlex ID
    W2610925731
    0 references
    arXiv ID
    1705.00595
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2164221&oldid=33465190"
    Powered by MediaWiki