Operational semantics
Franck van Breugel · Birkhäuser Boston eBooks · 1998
In this chapter we study operational semantic models. These models are defined by means of labelled transition systems . A labelled transition system is an abstract machine. It has a collection of configurations. These configurations are usually programs possibly decorated with some additional information, e.g., the values of the variables. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.