Structural Operational Semantics
AbstractThe importance of giving precise semantics to programming and specification
languages was recognized since the sixties with the development of the
first high-level programming languages (cf. e.g. [30, 206] for some early accounts).
The use of operational semantics - i.e. of a semantics that explicitly
describes how programs compute in stepwise fashion, and the possible
state-transformations they perform - was already advocated by McCarthy
in , and elaborated upon in references like [142, 143]. Examples of full-blown
languages that have been endowed with an operational semantics are
Algol 60 , PL/I , and CSP .
How to Cite
Aceto, L., Fokkink, W., & Verhoef, C. (1999). Structural Operational Semantics. BRICS Report Series, 6(30). https://doi.org/10.7146/brics.v6i30.20099
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.