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