K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
From MaRDI portal
Publication:4933281
DOI10.1007/978-3-642-16310-4_8zbMath1306.68088OpenAlexW1606736461MaRDI QIDQ4933281
Traian-Florin Şerbănuţă, Grigore Roşu
Publication date: 12 October 2010
Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_8
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)
Related Items (8)
A complete semantics of \(\mathbb{K}\) and its translation to Isabelle ⋮ Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K ⋮ Expression-Based Aliasing for OO–languages ⋮ Logical approximation for program analysis ⋮ \( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages ⋮ A Maude environment for CafeOBJ ⋮ Language definitions as rewrite theories ⋮ K-Maude
Uses Software
This page was built for publication: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
