Pages that link to "Item:Q1012130"
From MaRDI portal
The following pages link to A rewriting logic approach to operational semantics (Q1012130):
Displaying 6 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- A language-independent proof system for full program equivalence (Q510898) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
