5.3操作语义 5.3.1表达式的求值 操作语义分成两部分 -表达式的计算 -语句的执行 表达式的语义 表达式、环境、状态和表达式的语义值之间的一 个四元关系：M,s)n→aN 一环境下标在下面将省略 -→eval由一个证明系统来给出5.3 操作语义 5.3.1 表达式的求值 • 操作语义分成两部分 – 表达式的计算 – 语句的执行 • 表达式的语义 –表达式、环境、状态和表达式的语义值之间的一 个四元关系：M, s →eval v – 环境下标在下面将省略 – →eval由一个证明系统来给出