语义学
代数语义学
程序抽象的语义描述 函数抽象 Function = Argument→Value Function = Argument→Store→Value bind_parameter: Formal_Parameter→(Argument→Environ) give_argument : Actual_Parameter→(Environ→Argument) 扩充 IMP语法 Command ::= …