KOOL

MaRDI QIDQ43974swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-540-73449-9_19

Cited in

(18)

• JavaFAN
• Symbolic execution based on language transformation
• 2OBJ
• Agapia
• Twenty years of rewriting logic
• Towards a \(\mathbb{K}\)ool future
• PAGODA
• K tool
• K-Maude
• K-Java
• SymPLFIED
• MGS
• KLOVERA
• K Prover
• Memory representations in rewriting logic semantics definitions
• Defining and Executing P Systems with Structured Data in K
• P systems with control nuclei: the concept
• An overview of the K semantic framework

This page was built for software: KOOL