The following pages link to K-Java (Q30822):
Displaying 15 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Towards a trustworthy semantics-based language framework via proof generation (Q832282) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
- Towards a \(\mathbb{K}\)ool future (Q2026805) (← links)
- On the effectiveness of higher-order logic programming in language-oriented programming (Q2039939) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Program verification by coinduction (Q2324001) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- (Q4594004) (← links)
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler (Q5056076) (← links)
- Matching µ-logic: Foundation of K framework (Q5875341) (← links)
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K (Q5883569) (← links)
