MMT
From MaRDI portal
Software:19921
No author found.
Related Items (13)
Generating Specialized Interpreters for Modular Structural Operational Semantics ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Executable component-based semantics ⋮ Transitions and Trees ⋮ All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Dynamic structural operational semantics ⋮ Modular Structural Operational Semantics with Strategies ⋮ A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
This page was built for software: MMT
