Programs have appeared as O_expressions(expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.
程序以操作表达式的形式呈现， 而其语义则以公理的形式给出。
youdao
Predicate Calculus and Program Semantics.
谓词演算与程序语义。
应用推荐
模块上移
模块下移
不移动