A rewriting logic approach to operational semantics
From MaRDI portal
Publication:1012130
DOI10.1016/j.ic.2008.03.026zbMath1165.68041MaRDI QIDQ1012130
José Meseguer, Grigore Roşu, Traian-Florin Şerbănuţă
Publication date: 14 April 2009
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2008.03.026
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
Uses Software