Typed generic traversal with term rewriting strategies (Q1394988)

From MaRDI portal
Revision as of 00:42, 1 March 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Typed generic traversal with term rewriting strategies
scientific article

    Statements

    title
    Typed generic traversal with term rewriting strategies (English)
    0 references
    author
    Ralf Lämmel
    0 references
    publication date
    25 June 2003
    0 references
    zbMATH DE Number
    1934823
    0 references
    zbMATH Keywords
    term rewriting
    0 references
    strategies
    0 references
    generic programming
    0 references
    traversal
    0 references
    type systems
    0 references
    program transformation
    0 references
    describes a project that uses
    ELAN
    0 references
    ASF+SDF
    0 references
    Maude
    0 references
    ML
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1394988&oldid=24042336"
    Powered by MediaWiki