Pragmatics of Modular SOS
From MaRDI portal
Publication:2996131
DOI10.1007/3-540-45719-4_3zbMath1275.68086OpenAlexW1825532689WikidataQ57783512 ScholiaQ57783512MaRDI QIDQ2996131
Publication date: 6 May 2011
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45719-4_3
Related Items
Evolution of rule-based programs ⋮ Modular structural operational semantics ⋮ Generating Specialized Interpreters for Modular Structural Operational Semantics ⋮ The rewriting logic semantics project ⋮ Weak Bisimulation as a Congruence in MSOS ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ Structural operational semantics through context-dependent behaviour ⋮ Executable component-based semantics ⋮ An overview of the K semantic framework ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Implicit Propagation in Structural Operational Semantics ⋮ A rewriting logic approach to operational semantics
