KJS
From MaRDI portal
Software:30823
swMATH18992MaRDI QIDQ30823FDOQ30823
Author name not available (Why is that?)
Cited In (9)
- Towards a trustworthy semantics-based language framework via proof generation
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- Program verification by coinduction
- A coinductive approach to proving reachability properties in logically constrained term rewriting systems
- A language-independent proof system for full program equivalence
- An abstract machine for asynchronous programs with closures and priority queues
- Formal methods for web security
- Matching µ-logic: Foundation of K framework
- From Rewriting Logic, to Programming Language Semantics, to Program Verification
This page was built for software: KJS
