Dynamic semantics

Defining relation which tells us how to carry out evaluation steps to execute source programs.

How can we reach a value from an expression?

Contraction - application of primitive operators to values