The following pages link to KJS (Q30823):
Displaying 9 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Formal methods for web security (Q511944) (← links)
- Towards a trustworthy semantics-based language framework via proof generation (Q832282) (← links)
- An abstract machine for asynchronous programs with closures and priority queues (Q1685782) (← links)
- A coinductive approach to proving reachability properties in logically constrained term rewriting systems (Q1799091) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Program verification by coinduction (Q2324001) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- Matching µ-logic: Foundation of K framework (Q5875341) (← links)