K-Java
From MaRDI portal
swMATH18991MaRDI QIDQ30822FDOQ30822
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2676982
Cited In (37)
- 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
- Symbolic execution based on language transformation
- A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
- Towards a \(\mathbb{K}\)ool future
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications
- On the effectiveness of higher-order logic programming in language-oriented programming
- Mechanising a type-safe model of multithreaded Java with a verified compiler
- MontiCore
- Cyclone
- K tool
- K-Maude
- SymDiff
- Mezzo
- CoDeSe
- KJS
- CafeInMaude
- SugarJ
- KLOVERA
- Neverlang
- CITP
- BicolanoMT
- Jinja Threads
- CLDC
- K Prover
- KOOL
- TSL
- From rewriting logic, to programming language semantics, to program verification
- A language-independent proof system for full program equivalence
- Program logics and their applications
- lang-n-play
- LambdaMu-calculus
- Matching µ-logic: Foundation of K framework
- A Maude environment for CafeOBJ
This page was built for software: K-Java
