A Primer on Operational Semantics

  • Ralf Lämmel


The semantics of a software language assigns meanings to the elements of the language. The field of programming language theory provides rigorous techniques for the definition of semantics which are based on mathematical and logical tools. In this chapter, we introduce the method of operational semantics: inference rules are used to model the stepwise computation of a program. We do not go into the details of the underlying theoretical underpinnings, but the level of formality may help in developing and reasoning about interpreters and other semanticsaware language processing components (e.g., analyzers, optimizers, or refactorings) more systematically. We demonstrate the implementation of operational semantics in Haskell.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Ralf Lämmel
    • 1
  1. 1.Computer Science DepartmentUniversität Koblenz-LandauKoblenzGermany

Personalised recommendations