operational semantics

• 操作语义,运算语义,运算的语义

operational semantics的用法和样例：

例句

1. The type information provides more precise operational semantics to the values.
   类型信息为值提供更精确的操作语义。