The following pages link to K-Maude (Q21726):
Displaying 10 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- Language definitions as rewrite theories (Q730476) (← links)
- An overview of the K semantic framework (Q987974) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework (Q3167528) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
- Collecting Semantics under Predicate Abstraction in the K Framework (Q4933282) (← links)
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K (Q5883569) (← links)
