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

DOI10.1007/978-3-642-16310-4_8MaRDI QIDQ4933281zbMATH OpenOpenAlexFDO

Authors Traian Ş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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• Language definitions as rewrite theories
• Language definitions as rewrite theories
• A rewrite framework for language definitions and for generation of efficient interpreters
• scientific article; zbMATH DE number 1231667
• Defining and Executing P Systems with Structured Data in K

Cited in

(14)

• Logical approximation for program analysis
• A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
• K-Maude
• \( \mathbb{K}\) and KIV: towards deductive verification for arbitrary programming languages
• Mumbo: a rule-based implementation of a run-time program generation language
• A rewrite framework for language definitions and for generation of efficient interpreters
• Language definitions as rewrite theories
• Expression-Based Aliasing for OO–languages
• Defining and Executing P Systems with Structured Data in K
• A Maude environment for CafeOBJ
• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
• Bounded model checking of multitask PLC ST programs with preemption using rewriting modulo SMT
• Language definitions as rewrite theories
• An overview of the K semantic framework

Describes a project that uses

Uses Software

• K Prover
• LaTeX
• Maude

This page was built for publication: K-Maude: a rewriting based tool for semantics of programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4933281)