Pages that link to "Item:Q730476"
From MaRDI portal
The following pages link to Language definitions as rewrite theories (Q730476):
Displaying 5 items.
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)