MMT
From MaRDI portal
MMT Q19921
Cited in
(33)- 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
- JavaFAN
- ITP/OCL
- LETOS
- PMaude
- K tool
- ITP
- SCC
- Dist-Orc
- MOMENT2
- vlogsl
- CoDeSe
- Spoofax
- Java Jr
- SymPLFIED
- JavAdaptor
- Centaur
- LFL
- Java+ITP
- K Prover
- 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)
- Melange
- Transitions and trees. An introduction to structural operational semantics.
- Modular structural operational semantics with strategies
This page was built for software: MMT
