MMT
From MaRDI portal
MMT Q19921
Cited in
(33)- A rewriting logic approach to operational semantics
- JavaFAN
- ITP/OCL
- LETOS
- Executable component-based semantics
- Twenty years of rewriting logic
- PMaude
- K tool
- ITP
- SCC
- MOMENT2
- Dist-Orc
- Dynamic structural operational semantics
- vlogsl
- CoDeSe
- Modular structural operational semantics with strategies
- A rewriting logic approach to operational semantics (extended abstract)
- Spoofax
- From rewriting logic, to programming language semantics, to program verification
- The rewriting logic semantics project: a progress report
- Java Jr
- SymPLFIED
- Generating specialized interpreters for modular structural operational semantics
- Transitions and trees. An introduction to structural operational semantics.
- JavAdaptor
- The rewriting logic semantics project: a progress report
- Centaur
- LFL
- K Prover
- Java+ITP
- Melange
- An operational semantics for object-oriented concepts based on the class hierarchy
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
This page was built for software: MMT
