K-Maude

swMATH9747MaRDI QIDQ21726FDOQ21726

Author name not available (Why is that?)

Described by source

• K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

Cited In (10)

• Twenty years of rewriting logic
• Expression-Based Aliasing for OO–languages
• A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
• On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework
• Logical approximation for program analysis
• Collecting Semantics under Predicate Abstraction in the K Framework
• An overview of the K semantic framework
• Language definitions as rewrite theories
• A Maude environment for CafeOBJ

This page was built for software: K-Maude