Deriving Pretty-Big-Step Semantics from Small-Step Semantics (Q5410704)

From MaRDI portal
scientific article; zbMATH DE number 6286390
Language Label Description Also known as
English
Deriving Pretty-Big-Step Semantics from Small-Step Semantics
scientific article; zbMATH DE number 6286390

    Statements

    Deriving Pretty-Big-Step Semantics from Small-Step Semantics (English)
    0 references
    0 references
    0 references
    16 April 2014
    0 references
    structural operational semantics
    0 references
    SOS
    0 references
    modular SOS
    0 references
    pretty-big-step semantics
    0 references
    small-step semantics
    0 references
    big-step semantics
    0 references
    natural semantics
    0 references
    refocusing
    0 references

    Identifiers