KOOL

MaRDI QIDQ43974swMATHFDO

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

Cited in

(18)

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

This page was built for software: KOOL