MMT
From MaRDI portal
Software:19921
swMATH7905MaRDI QIDQ19921FDOQ19921
Author name not available (Why is that?)
Cited In (13)
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- Dynamic structural operational semantics
- Executable component-based semantics
- A rewriting logic approach to operational semantics
- Transitions and Trees
- An operational semantics for object-oriented concepts based on the class hierarchy
- Generating Specialized Interpreters for Modular Structural Operational Semantics
- The Rewriting Logic Semantics Project: A Progress Report
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- A rewriting logic approach to operational semantics (extended abstract)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification
- Modular structural operational semantics with strategies
This page was built for software: MMT
