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
Rewriting Strategies and Strategic Rewrite Programs - MaRDI portal

Rewriting Strategies and Strategic Rewrite Programs (Q2945718)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Rewriting Strategies and Strategic Rewrite Programs
scientific article

    Statements

    title
    Rewriting Strategies and Strategic Rewrite Programs (English)
    0 references
    author
    Hélène Kirchner
    0 references
    publication date
    14 September 2015
    0 references
    describes a project that uses
    GrGen
    0 references
    Haskell
    0 references
    PVS
    0 references
    PORGY
    0 references
    Tom
    0 references
    PROGRES
    0 references
    ELAN
    0 references
    AGG
    0 references
    GROOVE
    0 references
    GP 2
    0 references
    Curry
    0 references
    TPS
    0 references
    Stratego
    0 references
    Maude
    0 references
    cites work
    Q2851049
    0 references
    Q4964704
    0 references
    Q4799892
    0 references
    Q4223001
    0 references
    Q4264200
    0 references
    Q2844065
    0 references
    Q2767010
    0 references
    Q3962450
    0 references
    Q4412115
    0 references
    Q2769432
    0 references
    Q4414308
    0 references
    Q4323294
    0 references
    Q3086785
    0 references
    Q3388749
    0 references
    Q3922646
    0 references
    Q4259966
    0 references
    Q4222859
    0 references
    Q4023829
    0 references
    Just-in-time
    0 references
    Q2778890
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q42
    0 references
    03B70
    0 references
    68N30
    0 references
    68Q55
    0 references
    zbMATH DE Number
    6481946
    0 references
    OpenAlex ID
    W2294815028
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2945718&oldid=36200700"
    Powered by MediaWiki