K-Maude

swMATH9747MaRDI QIDQ21726FDOQ21726

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-16310-4_8

Described by source

• K-Maude: a rewriting based tool for semantics of programming languages

Cited In (25)

• KtoIsabelle
• 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
• 2OBJ
• Logical approximation for program analysis
• PAGODA
• K tool
• DDebugger
• CARIBOO
• K-Java
• KJS
• CafeInMaude
• SymPLFIED
• MGS
• CITP
• K Prover
• KOOL
• Collecting Semantics under Predicate Abstraction in the K Framework
• An overview of the K semantic framework
• LambdaMu-calculus
• Language definitions as rewrite theories
• A Maude environment for CafeOBJ

This page was built for software: K-Maude