Implicit Propagation in Structural Operational Semantics (Q2810689)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Implicit Propagation in Structural Operational Semantics
scientific article

    Statements

    title
    Implicit Propagation in Structural Operational Semantics (English)
    0 references
    author
    Peter D. Mosses
    0 references
    Mark J. New
    0 references
    publication date
    3 June 2016
    0 references
    zbMATH Keywords
    formal semantics
    0 references
    structural operational semantics
    0 references
    modular SOS
    0 references
    modularity
    0 references
    reuse
    0 references
    describes a project that uses
    ML
    0 references
    TinkerType
    0 references
    CASL
    0 references

    Identifiers

    zbMATH DE Number
    6589326
    0 references
    OpenAlex ID
    W2159611653
    0 references
    Wikidata QID
    Q57783421
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2810689&oldid=39218751"
    Powered by MediaWiki