K-Maude

swMATH9747MaRDI QIDQ21726

No author found.

Described by source

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

Related Items (10)

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 ⋮ Expression-Based Aliasing for OO–languages ⋮ Logical approximation for program analysis ⋮ Twenty years of rewriting logic ⋮ A Maude environment for CafeOBJ ⋮ Collecting Semantics under Predicate Abstraction in the K Framework ⋮ An overview of the K semantic framework ⋮ Language definitions as rewrite theories

This page was built for software: K-Maude