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

	операционная семантика — [http://www.iks-media.ru/glossary/index.html?glossid=2400324] операционная семантика Задаёт правила вычисления арифметических и логических выражений, а также исполнения команд. Категория формальной семантики (formal semantics), предусматривающая непосредственное исполнение каждого предложения языка программирования (без трансляции); в широком смысле соответствует интерпретации (interpretation), хотя здесь в качестве языка реализации обычно также (как и в случае денотационной семантики) используется математический формализм (формальная система); может служить для описания некой абстрактной машины (см. также denotational semantics, semantics). [Э.М. Пройдаков, Л.А. Теплицкий]
EN
FR

операционная семантика