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
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