物理对象上的操作相关论文
研究了命令式程序的形式语义。赋值被看成当作物理对象的变量上的操作。变量x一方面是个可以容纳数据值的物理对象，另一方面当它出......
把赋值语句看作物理对象上的操作时，程序就呈现为物理对象上的操作构成的表达式（简称O表达式）。给出了定义O表达式语法的BNF公式，并用......
