operational semantics
operational semantics是什么意思、operational semantics怎么读
【计】 操作语义
operational semantics汉语翻译
【计】 操作语义