KJS
From MaRDI portal
swMATH18992MaRDI QIDQ30823FDOQ30823
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2737991
Cited In (17)
- KtoIsabelle
- 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
- CoDeSe
- TS#
- K-Java
- JSLINQ
- SeLINQ
- libuv
- From rewriting logic, to programming language semantics, to program verification
- 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
- LambdaMu-calculus
- Matching µ-logic: Foundation of K framework
This page was built for software: KJS
