Pages that link to "Item:Q987974"
From MaRDI portal
The following pages link to An overview of the K semantic framework (Q987974):
Displaying 12 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Program equivalence by circular reasoning (Q493521) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← links)
- Formal methods for web security (Q511944) (← links)
- Language definitions as rewrite theories (Q730476) (← links)
- Implementing type systems for the IDE with Xsemantics (Q739624) (← links)
- P systems with control nuclei: the concept (Q987966) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Executable component-based semantics (Q1734523) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting (Q6052950) (← links)
