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