Type-theoretic functional semantics :
Operational Semantics
No surprises here.
- For arithmetic expressions: relates an expression and a state to a number.
- For boolean expressions: relates an expression and a state to a boolean.
- For commands: relates a command and a state to the new state.
- Examples:
![[While rule, true case]](whiletrue.gif)
![[While rule, false case]](whilefalse.gif)