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
Dynamic template translators—a new device for specifying programming languages - MaRDI portal

Dynamic template translators—a new device for specifying programming languages (Q3804225)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Dynamic template translators—a new device for specifying programming languages
scientific article

    Statements

    Dynamic template translators—a new device for specifying programming languages (English)
    0 references
    0 references
    1987
    0 references
    formal specification
    0 references
    dynamic template translator
    0 references
    context free translation
    0 references
    production rules
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references