Structural operational semantics through context-dependent behaviour (Q638568)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Structural operational semantics through context-dependent behaviour
scientific article

    Statements

    Structural operational semantics through context-dependent behaviour (English)
    0 references
    0 references
    0 references
    12 September 2011
    0 references
    imperative programming languages
    0 references
    transition rules
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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