Big Step Semantics

2016-02-16

In the operational semantics lecture you saw how to model a program by showing what one step of computation does, and combining the results. In big-step semantics (also known as natural semantics) we focus instead on the big picture: the overall result of an expression.