Algebraic Methodology and Software Technology
From MaRDI portal
Publication:5312993
DOI10.1007/b98770zbMath1108.68401OpenAlexW2973096144MaRDI QIDQ5312993
Christiano Braga, José Meseguer
Publication date: 25 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98770
Related Items (12)
Executable structural operational semantics in Maude ⋮ The rewriting logic semantics project ⋮ SOS formats and meta-theory: 20 years after ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ The rewriting logic semantics project: a progress report ⋮ Implicit Propagation in Structural Operational Semantics ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report ⋮ Modular Structural Operational Semantics with Strategies ⋮ Executable rewriting logic semantics of Orc and formal analysis of Orc programs ⋮ A Rewriting Logic Approach to Operational Semantics (Extended Abstract) ⋮ Pattern eliminating transformations
Uses Software
This page was built for publication: Algebraic Methodology and Software Technology
