The Maude strategy language (Q6113021)

From MaRDI portal
scientific article; zbMATH DE number 7723901
Language Label Description Also known as
English
The Maude strategy language
scientific article; zbMATH DE number 7723901

    Statements

    title
    The Maude strategy language (English)
    0 references
    author
    Steven Eker
    0 references
    Narciso Martí-Oliet
    0 references
    José Meseguer
    0 references
    Rubén Rubio
    0 references
    Alberto Verdejo
    0 references
    publication date
    8 August 2023
    0 references
    zbMATH Keywords
    formal specification
    0 references
    rewriting logic
    0 references
    rewriting strategies
    0 references
    Maude
    0 references
    cites work
    Q4596794
    0 references
    Q2844063
    0 references
    Two Decades of Maude
    0 references
    Q4222856
    0 references
    Q5581665
    0 references
    Q2723907
    0 references
    Q4707742
    0 references
    Q2863877
    0 references
    Q5089038
    0 references
    Q4799892
    0 references

    Identifiers

    zbMATH DE Number
    7723901
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6113021&oldid=37549473"
    Powered by MediaWiki