Java+ITP

MaRDI QIDQ43970swMATHFDO

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

Cited in

(22)

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

This page was built for software: Java+ITP