TY - JOUR AU - Mosses, Peter D. PY - 1999/12/25 Y2 - 2024/03/28 TI - Logical Specification of Operational Semantics JF - BRICS Report Series JA - BRICS VL - 6 IS - 55 SE - Articles DO - 10.7146/brics.v6i55.20125 UR - https://tidsskrift.dk/brics/article/view/20125 SP - AB - Various logic-based frameworks have been proposed for <br />specifying the operational semantics of programming languages and <br />concurrent systems, including inference systems in the styles advocated by<br />Plotkin and by Kahn, Horn logic, equational specifications, reduction<br />systems for evaluation contexts, rewriting logic, and tile logic.<br />We consider the relationship between these frameworks, and assess their<br />respective merits and drawbacks - especially with regard to the modularity<br /> of specifications, which is a crucial feature for scaling up to practical<br />applications. We also report on recent work towards the use of the Maude<br />system (which provides an efficient implementation of rewriting logic) as<br />a meta-tool for operational semantics. ER -