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
The Qualified Function Approach to Analysis of Program Behavior and Performance - MaRDI portal

The Qualified Function Approach to Analysis of Program Behavior and Performance (Q3677147)

From MaRDI portal





scientific article
Language Label Description Also known as
English
The Qualified Function Approach to Analysis of Program Behavior and Performance
scientific article

    Statements

    The Qualified Function Approach to Analysis of Program Behavior and Performance (English)
    0 references
    0 references
    0 references
    0 references
    1985
    0 references
    program behavior
    0 references
    performance evaluation
    0 references
    program execution times
    0 references
    symbolic evaluation
    0 references
    symbolic execution
    0 references

    Identifiers