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
Synthesizing Loops for Program Inversion - MaRDI portal

Synthesizing Loops for Program Inversion (Q3453736)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Synthesizing Loops for Program Inversion
scientific article

    Statements

    Synthesizing Loops for Program Inversion (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    30 November 2015
    0 references
    program inversion
    0 references
    program synthesis
    0 references
    compilers
    0 references

    Identifiers