语义公理相关论文
把赋值语句看作物理对象上的操作时，程序就呈现为物理对象上的操作构成的表达式（简称O表达式）。给出了定义O表达式语法的BNF公式，并用......
程序以操作表达式的形式呈现,而其语义则以公理的形式给出。为帮助理解这些公理并作为实现操作表达式的基础,给出了操作表达式的Pe......
