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
Removing redundant arguments automatically - MaRDI portal

Removing redundant arguments automatically (Q3430663)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Removing redundant arguments automatically
scientific article

    Statements

    title
    Removing redundant arguments automatically (English)
    0 references
    author
    Santiago Escobar
    0 references
    Salvador Lucas
    0 references
    María Alpuente
    0 references
    publication date
    23 March 2007
    0 references
    zbMATH Keywords
    redundant arguments in functions
    0 references
    semantics-preserving program transformation
    0 references
    analysis and optimization
    0 references
    term rewriting
    0 references

    Identifiers

    zbMATH DE Number
    5136257
    0 references
    Wikidata QID
    Q57978219
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3430663&oldid=27773932"
    Powered by MediaWiki