Small step semantics

From Wikipedia, the free encyclopedia

The introduction to this article provides insufficient context for those unfamiliar with the subject.
Please help improve the article with a good introductory style.

In computer science, small step semantics formally describe how the individual steps of a computation take place in a computer-based system. By opposition big step semantics describe how the overall results of the executions are obtained.