Pages that link to "Item:Q2819831"
From MaRDI portal
The following pages link to K-Java: a complete semantics of Java (Q2819831):
Displaying 17 items.
- K-Java (Q30822) (← links)
- 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)
- 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)
- \( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages (Q2237340) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler (Q5056076) (← links)
- Computer Aided Verification (Q5312939) (← links)
- Algebraic Methodology and Software Technology (Q5312976) (← links)
- Programming Languages and Systems (Q5316580) (← links)
- Matching µ-logic: Foundation of K framework (Q5875341) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)
- Unification in matching logic (Q6535966) (← links)
- Formally understanding Rust's ownership and borrowing system at the memory level (Q6661754) (← links)
