Operational semantics is one way of providing meaning to an executable language. On a high level of abstraction, operational semantics means to define an interpreter or an abstract machine for the language. In this article, we review the concept of operational semantics in the scope of meta-model-based language definitions and identify challenges and issues. We provide a clean conceptual approach using an object-oriented runtime environment and state change operations, which relies on an underlying abstract virtual machine. We present the approach using a sample language.
CITATION STYLE
Prinz, A., Pedersen, B. M., & Fischer, J. (2016). Object-oriented operational semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9959 LNCS, pp. 132–147). Springer Verlag. https://doi.org/10.1007/978-3-319-46613-2_9
Mendeley helps you to discover research relevant for your work.