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.
Динамичниата семантика (исто така познат како извршувачка семантиката) на еден јазик дефинира како и кога различни конструкции на еден јазик треба да произведат однесување на програмата.