Pages that link to "Item:Q4933281"
From MaRDI portal
The following pages link to K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (Q4933281):
Displaying 8 items.
- K-Maude (Q21726) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Language definitions as rewrite theories (Q730476) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- \( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages (Q2237340) (← links)
- Expression-Based Aliasing for OO–languages (Q3460212) (← links)
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K (Q5883569) (← links)
