O-表达式相关论文
在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式.给出了此类表达式(O-表达式)的安全性和进展性性......
在所提出的程序设计方法中,赋值是物理对象上的操作,而程序则是这种操作的表达式。给出了此类表达式（O-表达式）的安全性和进展性性质......
