операционная семантика. Способ задания семантики языка с помощью описания абстрактной машины, интерпретирующей его.
OPERATIONAL SEMANTICS
Англо-русский перевод OPERATIONAL SEMANTICS
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012