Java+ITP

MaRDI QIDQ43970swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S1571066107005117

Cited in

(22)

• A rewriting logic approach to operational semantics
• JavaFAN
• ITP/OCL
• LETOS
• 2OBJ
• Twenty years of rewriting logic
• MMT
• PVeStA
• PAGODA
• K tool
• K-Maude
• MOMENT2
• Dist-Orc
• vlogsl
• The rewriting logic semantics project: a progress report
• Towards a unified theory of operational and axiomatic semantics
• SymPLFIED
• The rewriting logic semantics project: a progress report
• Centaur
• K Prover
• From hoare logic to matching logic reachability
• The rewriting logic semantics project

This page was built for software: Java+ITP