操作公理相关硕士博士期刊学术论文

研究了命令式程序的形式语义。赋值被看成当作物理对象的变量上的操作。变量x一方面是个可以容纳数据值的物理对象，另一方面当它出......