A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
From MaRDI portal
Publication:2871834
DOI10.1016/j.entcs.2007.08.020zbMath1278.68147OpenAlexW2148043148MaRDI QIDQ2871834
Traian-Florin Şerbănuţă, José Meseguer, Grigore Roşu
Publication date: 10 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.08.020
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)
Related Items (2)
Operationally-based program equivalence proofs using LCTRSs ⋮ Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
Uses Software
Cites Work
- Notions of computation and monads
- A rewriting logic approach to operational semantics
- Conditional rewriting logic as a unified model of concurrency
- The chemical abstract machine
- A syntactic approach to type soundness
- Maude: specification and programming in rewriting logic
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Modular structural operational semantics
- A structural approach to operational semantics
- Executable structural operational semantics in Maude
- Language Prototyping: An Algebraic Specification Approach
- λν, a calculus of explicit substitutions which preserves strong normalisation
- Representing and Reasoning with Operational Semantics
- Continuation-Based Program Transformation Strategies
- Evolving Algebras 1993: Lipari Guide
- Explicit substitutions
- Automated Reasoning
- Computer Aided Verification
- Algebraic Methodology and Software Technology
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
