1.Previous
3.Next

(such as the SECD machine), and give meaning to phrases by describing the transitions they induce on states of the machine. Alternatively, as with the pure lambda calculus, operational semantics can be defined via syntactic transformations on phrases of the language itself;
* Axiomatic semantics, whereby one gives meaning to phrases by describing the axioms that apply to them.

1.Previous
3.Next