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
- 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
- Generating specialized interpreters for modular structural operational semantics
- An operational semantics for object-oriented concepts based on the class hierarchy
- From rewriting logic, to programming language semantics, to program verification
- 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)
- Transitions and trees. An introduction to structural operational semantics.
- Modular structural operational semantics with strategies
This page was built for software: MMT
