指称语义简介 西安电子zoncnjvb.pptVIP

* 1.3.2 拷贝参数机制（续3） 最后必须把过程声明的语义方程修改如下： elab [proc I(FP)~C]env sto (6.103) let proc arg sto = let (parenv，sto) = copy-in FP arg sto in let sto = exec C (overlay(parenv，env))sto in copy-out FP parenv arg sto in (bind(I，procedure proc)，sto) 这里，sto是调用时的存贮。处理入口时的参数（copy-in）产生一个绑定parenv，同时也把存贮改变为sto。执行过程体C进一步把存贮改变为sto 。处理返回时的参数（copy-out），可能产生更多的存储改变，从而完成过程调用。 * 1.4 组合类型（Composite types） 一个原子变量占据一个单一配置；用辅助函数fetch检查原子变量的值；用辅助函数update修改原子变量。 出于两个原因，组合类型变量更复杂一些。其一，组合变量所具有的值自身是组合的，如它们由几个值的分量组成。其二，组合变量可能被有选择地修改，通过一个命令修改一个分量，而其它分量不受干扰。 下边讨论的存储模型假