The dynamic semantics (also known as execution semantics) of a language defines how and when the various constructs of a language should produce a program behavior.
Динамічна семантика мови (також відома як семантика виконання, англ. execution semantics) визначає як і коли різні конструкції мови повинні задавати поведінку програми.