第16章指称语义的原理与应用.pptVIP

｜evaluate (EplusE( E1，E2 )) env sto = let val integer int1 = evaluate E1 env sto in let val integer int2 = evaluate E2 env sto in integer (sum ( int1，int2 ) ) end end ｜... and elaborate (constIisE ( I，E )) env sto= let val val=evaluate E env sto in (bind (I，value val’)，sto) end ｜elaborate (varIcolonT( I，T )) env sto= let val (sto，loc)=allocate sto in ( bind ( I，variable loc )，sto) end and valuation (N) = integer (stringtoint N) 以上按IMP 抽象语法套写语义函数execute, evaluate，elaborate. 还要把辅助函数改写为ML: fun