scientific article

zbMath1272.68168MaRDI QIDQ2849873

José Meseguer, Christiano Braga

Publication date: 20 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104053101

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items

The rewriting logic semantics project ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ The rewriting logic semantics project: a progress report ⋮ Twenty years of rewriting logic ⋮ Memory Representations in Rewriting Logic Semantics Definitions ⋮ Semantic foundations for generalized rewrite theories ⋮ A rewriting logic approach to operational semantics ⋮ The Rewriting Logic Semantics Project: A Progress Report

This page was built for publication: