操作语义 操作语义的想法很自然: “要想弄清这段程序的意思,去看看它的编译结果” “一步一步弄清楚它做什么,你就知道这个程序的意思了” 但这种做法不是定义。人们希望在抽象的层次上把握程序的语义 有关操作语义的开创性工作是 John McCarthy用Lisp语言本身定义了Lisp 语言的执行过程(语义) 人们提出了抽象机的概念,并提出用抽象机定义程序语言的语义 定义性解释器( Definitional Interpreter),用语言解释器给出语言的定义 Plotkin提出了结构化操作语义( Structural Operational Semantics,sos) SOS被广泛用于程序和软件的理论研究,用于严格描述各种结构的语义2021/2/5 19