There are many ways of defining execution semantics.
Постојат многу начини на дефинирање на извршувачката семантика.