As explained by Wikipedia, small-step semantics formally describe how the individual steps of a computation take place in a computer-based system. Big-step semantics describe how the overall results of the executions are obtained.
As explained by Wikipedia, small-step semantics formally describe how the individual steps of a computation take place in a computer-based system. Big-step semantics describe how the overall results of the executions are obtained.