денотационная семантика. Справочник технического переводчика. Интент.

	денотационная семантика — [Сергей Орлов. Англо-русский словарь по вычислительной технике и информационным технологиям - 4-е изд.] денотационная семантика Категория формальной семантики (formal semantics), предусматривающая представление каждой фразы языка программирования в виде понятия (denotation), т. е. фразы на некотором другом языке; в широком смысле соответствует компиляции (compilation), хотя здесь в качестве целевого языка обычно используется математический формализм (формальная система), а не другой компьютерный язык. Техника описания “смыслового значения” программ как математических функций, позволяющая доказывать теоремы и рассуждать о программах как о математических сущностях (см. также semantics). [Э.М. Пройдаков, Л.А. Теплицкий]
EN
FR

денотационная семантика