The following pages link to MMT (Q19921):
Displaying 13 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (Q997833) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Modular Structural Operational Semantics with Strategies (Q2866312) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Generating Specialized Interpreters for Modular Structural Operational Semantics (Q3453654) (← links)
- Transitions and Trees (Q3561031) (← links)
