denotational semantics

Translations
денотационная семантика
Denotational semantics is a formal method for describing the meaning of programs.
Денотационная семантика - это формальный метод описания смысла программ.