Small step semantics

From Wikipedia, the free encyclopedia

Small step semantics describe how the individual steps of the computations take place. By opposition big step semantics describe how the overall results of the executions are obtained.