A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters

DOI10.1016/j.entcs.2007.06.017zbMath1279.68116OpenAlexW2131616973MaRDI QIDQ2873785

Mark Hills, Traian-Florin Şerbănuţă, Grigore Roşu

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.06.017

zbMATH Keywords

programming languagesrewriting logiclanguage interpreters

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

The rewriting logic semantics project, The rewriting logic semantics project: a progress report, Memory Representations in Rewriting Logic Semantics Definitions, Defining and Executing P Systems with Structured Data in K, An overview of the K semantic framework, Implicit Propagation in Structural Operational Semantics, A rewriting logic approach to operational semantics, The Rewriting Logic Semantics Project: A Progress Report

Uses Software

• Centaur
• K Prover

Cites Work

• Unnamed Item
• Unnamed Item
• Modular structural operational semantics
• A structural approach to operational semantics
• Action Semantics
• Automated Reasoning